Tschaikowski, Max and Tribastone, Mirco (2015) A Partial-differential Approximation for Spatial Stochastic Process Algebra. In: 8th International Conference on Performance Evaluation Methodologies and Tools.
21255.pdf
Download (256kB)
Abstract
We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other when they are in same region. The ODE system siz
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 10:25 |
| Last Modified: | 17 Apr 2026 18:58 |
| URI: | http://eprints.eai.eu/id/eprint/12702 |
