A Partial-differential Approximation for Spatial Stochastic Process Algebra
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2015-12-01
|
| Series: | EAI Endorsed Transactions on Internet of Things |
| Subjects: | |
| Online Access: | https://eudl.eu/pdf/10.4108/icst.valuetools.2014.258170 |