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