M. Antonaki (2012):
A Probabilistic Process Algebra and a Simulator for Modeling Population Systems.
University of Cyprus.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
C. A. R. Hoare (1985):
Communicating Sequential Processes.
Prentice-Hall.
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.
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.
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.
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.
R. Milner (1980):
A Calculus of Communicating Systems.
Springer.
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.
G. Pardini (2011):
Formal Modelling and Simulation of Biological Systems with Spatiality.
University of Pisa.
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.
G. Păun (2002):
Membrane Computing: An Introduction.
Springer-Verlag.
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.
C. Tofts (1994):
Processes with probabilities, priority and time.
Formal Aspects of Computing 6,
pp. 536–564,
doi:10.1007/BF01211867.
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.
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.