References

  1. M. Antonaki (2012): A Probabilistic Process Algebra and a Simulator for Modeling Population Systems. University of Cyprus.
  2. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo & G. Pardini (2011): Spatial Calculus of Looping Sequences. Theoretical Computer Science 412(43), pp. 5976–6001, doi:10.1016/j.tcs.2011.01.020.
  3. L. Berec (2002): Techniques of spatially explicit individual-based models: construction, simulation, and mean-field analysis. Ecological Modeling 150, pp. 55–81, doi:10.1016/S0304-3800(01)00463-X.
  4. D. Besozzi, P. Cazzaniga, D. Pescini & G. Mauri (2008): Modelling metapopulations with stochastic membrane systems. BioSystems 91(3), pp. 499–514, doi:10.1016/j.biosystems.2006.12.011.
  5. D. Besozzi, P. Cazzaniga, D. Pescini & G. Mauri (2010): An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems. In: Proceedings of AMCA-POP'10, pp. 1–17, doi:10.4204/EPTCS.33.1.
  6. A. Bianco & L. de Alfaro (1995): Model checking of probabilistic and nondeterministic systems. In: Proceedings of FSTTCS'95, LNCS 1026. Springer, pp. 499–513, doi:10.1007/3-540-60692-0_70.
  7. L. Bioglio, C. Calcagno, M. Coppo, F. Damiani, E. Sciacca, S. Spinella & A. Troina (2011): A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426. Available at http://arxiv.org/abs/1108.3426.
  8. A. Brännström & D. J. T. Sumpter (2005): Coupled map lattice approximations for spatially explicit individual-based models of ecology. Bulletin of Mathematical Biology 67(4), pp. 663–682, doi:10.1016/j.bulm.2004.09.006.
  9. L. Cardelli (2005): Brane Calculi - Interactions of Biological Membranes. In: Proceedings of CMSB'04, LNCS 3082. Springer, pp. 257––278, doi:10.1007/978-3-540-25974-9_24.
  10. L. Cardelli & P. Gardner (2010): Processes in space. In: Proceedings of CiE 2010, LNCS 6158. Springer, pp. 78–87, doi:10.1007/978-3-642-13962-8_9.
  11. M. Cardona, M. Colomer, A. Margalida, I. Pérez-Hurtado, M. J. Pérez-Jiménez & D. Sanuy (2009): A P System Based Model of an Ecosystem of the Scavenger Birds. In: Proceedings of WMC'09, LNCS 5957. Springer, pp. 182–195, doi:10.1007/978-3-642-11467-0_14.
  12. P. Cazzaniga, D. Pescini, D. Besozzi & G. Mauri (2006): Tau Leaping Stochastic Simulation Method in P Systems. In: Proceedings of WMC'06, LNCS 4361. Springer, pp. 298–313, doi:10.1007/11963516_19.
  13. F. Ciocchetta & M. L. Guerriero (2009): Modelling biological compartments in Bio-PEPA. Electronic Notes in Theoretical Computer Science 227, pp. 77–95, doi:10.1016/j.entcs.2008.12.105.
  14. F. Ciocchetta & J. Hillston (2009): Bio-PEPA: a Framework for the Modelling and Analysis of Biochemical Networks. Theoretical Computer Science 410(33-34), pp. 3065–3084, doi:10.1016/j.tcs.2009.02.037.
  15. J. B. Dunning, D. J. Stewart, B. J. Danielson, B. R. Noon, T. L. Root, R. H. Lamberson & E. E. Stevens (1995): Spatially Explicit Population Models: Current Forms and Future Uses. Ecological Applications 5, pp. 3–11, doi:10.2307/1942045.
  16. V. Forejt, M. Kwiatkowska, G. Norman & D. Parker (2011): Automated Verification Techniques for Probabilistic Systems. In: Proceedings of SFM'11, LNCS 6659. Springer, pp. 53–113, doi:10.1007/978-3-642-21455-4_3.
  17. S. C. Fu & G. Milne (2004): A Flexible Automata Model for Disease Simulation. In: Proceedings of ACRI'04, LNCS 3305. Springer, pp. 642–649, doi:10.1007/978-3-540-30479-1_66.
  18. V. Galpin (2009): Modelling Network Performance with a Spatial Stochastic Process Algebra. In: Proceedings of AINA'09. IEEE Computer Society, pp. 41–49, doi:10.1109/AINA.2009.75.
  19. L. R. Gerber & G. R. VanBlaricom (2001): Implications of three viability models for the conservation status of the western population of Steller sea lions (Eumetopias jubatus). Biological Conservation 102, pp. 261––269, doi:10.1016/S0006-3207(01)00104-5.
  20. C. A. R. Hoare (1985): Communicating Sequential Processes. Prentice-Hall.
  21. M. Jeschke, R. Ewald & A. Uhrmacher (2011): Exploring the performance of spatial stochastic simulation algorithms. Journal of Computational Physics 230(7), pp. 2562–2574, doi:10.1016/j.jcp.2010.12.030.
  22. M. John, R. Ewalda & A. M. Uhrmacher (2008): A Spatial Extension to the π-Calculus. Electronic Notes in Theoretical Computer Science 194, pp. 133–148, doi:10.1016/j.entcs.2007.12.010.
  23. D. Kouzapas & A. Philippou (2011): A Process Calculus for Dynamic Networks. In: Proceedings of FMOODS/FORTE'11, LNCS 6722. Springer, pp. 213–227, doi:10.1007/978-3-642-21461-5_14.
  24. C. McCaig, R. Norman & C. Shankland (2008): Process Algebra Models of Population Dynamics. In: Proceedings of AB'08, LNCS 5147. Springer, pp. 139–155, doi:10.1007/978-3-540-85101-1_11.
  25. R. Milner (1980): A Calculus of Communicating Systems. Springer.
  26. E. S. Minor, R. I. McDonald, E. A. Treml & D. L. Urban (2008): Uncertainty in spatially explicit population models. Biological Conservation 141(4), pp. 956–970, doi:10.1016/j.biocon.2007.12.032.
  27. G. Pardini (2011): Formal Modelling and Simulation of Biological Systems with Spatiality. University of Pisa.
  28. R. G. Pearson & T. P. Dawson (2005): Long-distance plant dispersal and habitat fragmentation: identifying conservation targets for spatial landscape planning under climate change. Biological Conservation 123, pp. 389–401, doi:10.1016/j.biocon.2004.12.006.
  29. G. Păun (2002): Membrane Computing: An Introduction. Springer-Verlag.
  30. A. Regev, E. M. Panina, W. Silverman, L. Cardelli & E. Shapiro (2004): BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science 325(1), pp. 141–167, doi:10.1016/j.tcs.2004.03.061.
  31. C. Tofts (1994): Processes with probabilities, priority and time. Formal Aspects of Computing 6, pp. 536–564, doi:10.1007/BF01211867.
  32. J. M. J. Travis & C. Dytham (1998): The evolution of disperal in a metapopulation: a spatially explicit, individual-based model. Proceedings: Biological Sciences 265(1390), pp. 17–23, doi:10.1098/rspb.1998.0258.
  33. D. L. Urban & H. H. Shugart (1986): Avian demography in mosaic landscapes: modeling paradigm and preliminary results. Wildlife 2000: Modeling Habitat Relationships of Terrestrial Vertebrates, pp. 273–279.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org