Loading...
Please wait, while we are loading the content...
Similar Documents
A correct abstract machine for the stochastic pi-calculus (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Phillips, Andrew Cardelli, Luca |
| Description | In Bioconcur’04. ENTCS |
| Abstract | In this paper, an abstract machine is presented for a variant of the stochastic picalculus, in order to correctly model the stochastic simulation of biological processes. The machine is first proved sound and complete with respect to the calculus, and then used as the basis for implementing a stochastic simulator. The correctness of the stochastic machine helps ensure that the simulator is correctly implemented, giving greater confidence in the simulation results. A graphical representation for the pi-calculus is also introduced. |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Stochastic Machine Correct Abstract Machine Biological Process Stochastic Simulation Stochastic Simulator Simulation Result Graphical Representation Stochastic Picalculus Stochastic Pi-calculus Abstract Machine |
| Content Type | Text |
| Resource Type | Article |
