|
[PTA13]
Anna Philippou, Mauricio Toro and Margarita Antonaki.
Simulation and Verification for a Process Calculus for Spatially-explicit Ecological Models.
Scientific Annals of Computer Science, 23(1), pages 119–167.
2013.
[Develops a stochastic process algebra for locations/populations called PALPS, with a translation into PRISM for probabilistic model checking.]
|
|
Links:
[Google]
[Google Scholar]
|