@article(AntoAPPSM:04,
 author       = "M. Antoniotti and C. Piazza and A. Policriti and M. Simeoni and B. Mishra",
 year         = "2004",
 title        = "Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "45--67",
 doi          = "10.1016/j.tcs.2004.03.064",
)
@article(BaieBKHW:05,
 author       = "C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf",
 year         = "2005",
 title        = "Comparative branching-time semantics for Markov chains",
 journal      = "Information and Computation",
 volume       = "200",
 pages        = "149--214",
 doi          = "10.1016/j.ic.2005.03.001",
)
@article(BarbBMMT:08,
 author       = "R. Barbuti and A. Maggiolo-Schettini and P. Milazzo and A. Troina",
 year         = "2008",
 title        = "Bisimulation in calculi modelling membranes",
 journal      = "Formal Aspects of Computing",
 volume       = "20",
 pages        = "351--377",
 doi          = "10.1007/s00165-008-0071-x",
)
@inproceedings(BlakBT:93,
 author       = "A. Blakemore and S.K. Tripathi",
 year         = "1993",
 title        = "Automated time scale decomposition and analysis of stochastic {P}etri nets",
 booktitle    = "$\tmspace -\thinmuskip {.1667em}$Proceedings $\tmspace -\thinmuskip {.1667em}$of $\tmspace -\thinmuskip {.1667em}$Petri $\tmspace -\thinmuskip {.1667em}$Nets $\tmspace -\thinmuskip {.1667em}$and $\tmspace -\thinmuskip {.1667em}$Performance $\tmspace -\thinmuskip {.1667em}$Models",
 pages        = "248--257",
 doi          = "10.1109/PNPM.1993.393446",
)
@inproceedings(BlosBCP:06a,
 author       = "R. Blossey and L. Cardelli and A. Phillips",
 year         = "2006",
 title        = "A compositional approach to the stochastic dynamics of gene networks",
 booktitle    = "TCSB IV",
 series       = "LNCS 3939",
 publisher    = "Springer",
 pages        = "99--122",
 doi          = "10.1007/11732488\_10",
)
@article(BobbBT:86,
 author       = "A. Bobbio and K.S. Trivedi",
 year         = "1986",
 title        = "An Aggregation Technique for the Transient Analysis of Stiff {M}arkov Chains",
 journal      = "IEEE Transaction on Computers",
 volume       = "35",
 pages        = "803--814",
 doi          = "10.1109/TC.1986.1676840",
)
@article(BorgBBS:96,
 author       = "J. Borghans and R. de Boer and L. Segel",
 year         = "1996",
 title        = "Extending the quasi-steady state approximation by changing variables",
 journal      = "Bulletin of Mathematical Biology",
 volume       = "58",
 pages        = "43--63",
 doi          = "10.1007/BF02458281",
)
@article(BortBP:08a,
 author       = "L. Bortolussi and A. Policriti",
 year         = "2008",
 title        = "Modeling biological systems in stochastic {Concurrent Constraint Programming}",
 journal      = "Constraints",
 volume       = "13",
 pages        = "66--90",
 doi          = "10.1007/s10601-007-9034-8",
)
@article(CaoCGP:05a,
 author       = "Y. Cao and D. T. Gillespie and L.R. Petzold",
 year         = "2005",
 title        = "Accelerated stochastic simulation of the stiff enzyme-substrate reaction",
 journal      = "Journal of Chemical Physics",
 volume       = "123",
 number       = "14",
 pages        = "144917",
 doi          = "10.1063/1.2052596",
)
@article(CaoCGP:05b,
 author       = "Y. Cao and D. T. Gillespie and L.R. Petzold",
 year         = "2005",
 title        = "The slow-scale stochastic simulation algorithm",
 journal      = "Journal of Chemical Physics",
 volume       = "122",
 number       = "1",
 pages        = "14116",
 doi          = "10.1063/1.1824902",
)
@article(CiobCA:08,
 author       = "G. Ciobanu and B. Aman",
 year         = "2008",
 title        = "On the relationship between membranes and ambients",
 journal      = "BioSystems",
 volume       = "91",
 pages        = "515--530",
 doi          = "10.1016/j.biosystems.2007.01.006",
)
@article(CiocCG:09a,
 author       = "F. Ciocchetta and M. L. Guerriero",
 year         = "2009",
 title        = "Modelling biological compartments in {Bio-PEPA}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "227",
 pages        = "77--95",
 doi          = "10.1016/j.entcs.2008.12.105",
)
@inproceedings(CiocCH:08a,
 author       = "F. Ciocchetta and J. Hillston",
 year         = "2008",
 title        = "Process Algebras in Systems Biology",
 booktitle    = "Formal Methods for Computational Systems Biology (SFM08)",
 series       = "LNCS 5016",
 pages        = "265--312",
 doi          = "10.1007/978-3-540-68894-5\_8",
)
@article(CiocCH:09,
 author       = "F. Ciocchetta and J. Hillston",
 year         = "2009",
 title        = "{Bio-PEPA}: a framework for the modelling and analysis of biological systems",
 journal      = "Theoretical Computer Science,",
 volume       = "410",
 number       = "33-34",
 pages        = "3065--3084",
 doi          = "10.1016/j.tcs.2009.02.037",
)
@incollection(ClarCGGGH:12a,
 author       = "A. Clark and V. Galpin and S. Gilmore and M.L. Guerriero and J. Hillston",
 year         = "2012",
 title        = "Formal methods for checking the consistency of biological models",
 booktitle    = "Advances in Systems Biology",
 series       = "Advances in Experimental Medicine and Biology",
 volume       = "736",
 publisher    = "Springer",
)
@inproceedings(ClarCGGK:10a,
 author       = "Allan Clark and Stephen Gilmore and Maria Luisa Guerriero and Peter Kemper",
 year         = "2010",
 title        = "On verifying {Bio-PEPA} models",
 booktitle    = "Proceedings of CMSB 2010",
 publisher    = "ACM Press",
 pages        = "23--32",
 doi          = "10.1145/1839764.1839769",
)
@book(CourC:77,
 author       = "P.J. Courtois",
 year         = "1977",
 title        = "Decomposability: Queueing and Computer System Applications",
 publisher    = "Academic Press",
)
@article(DanoDL:04a,
 author       = "V. Danos and C. Laneve",
 year         = "2004",
 title        = "Formal molecular biology",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "69--110",
 doi          = "10.1016/j.tcs.2004.03.065",
)
@article(GalpG:10,
 author       = "V. Galpin",
 year         = "2011",
 title        = "Equivalences for a biological process algebra",
 journal      = "Theoretical Computer Science, to appear,",
 doi          = "10.1016/j.tcs.2011.07.006",
)
@article(GalpGH:10,
 author       = "V. Galpin and J. Hillston",
 year         = "2011",
 title        = "A semantic equivalence for {Bio-PEPA} based on discretisation of continuous values",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 pages        = "2142--2161",
 doi          = "10.1016/j.tcs.2011.01.007",
)
@article(GillG:77,
 author       = "D. T. Gillespie",
 year         = "1997",
 title        = "Exact stochastic simulation of coupled chemical reactions",
 journal      = "Journal of Physical Chemistry",
 volume       = "81",
 number       = "25",
 pages        = "2340--2361",
 doi          = "10.1021/j100540a008",
)
@article(GomeGVT:08,
 author       = "C.A. G\'omez-Uribe and G.C. Verghese and A.R. Tzafriri",
 year         = "2008",
 title        = "Enhanced identification and exploitation of time scales for model reduction in stochastic chemical kinetics",
 journal      = "Journal of Chemical Physics",
 volume       = "129",
 doi          = "10.1063/1.3050350",
)
@inproceedings(HeinHGD:08,
 author       = "M. Heiner and D. Gilbert and R. Donaldson",
 year         = "2008",
 title        = "Petri nets for Systems and Synthetic Biology",
 booktitle    = "Formal Methods for Computational Systems Biology (SFM08)",
 series       = "LNCS 5016",
 pages        = "215--264",
 doi          = "10.1007/978-3-540-68894-5\_7",
)
@book(Hill96,
 author       = "J. Hillston",
 year         = "1996",
 title        = "A compositional approach to performance modelling",
 publisher    = "CUP",
)
@article(HillHM:95,
 author       = "J. Hillston and V. Mertsiotakis",
 year         = "1995",
 title        = "A Simple Time Scale Decomposition Technique for Stochastic Process Algebras",
 journal      = "Computer Journal",
 volume       = "38",
 pages        = "566--577",
 doi          = "10.1093/comjnl/38.7.566",
)
@inproceedings(KwiaKS:08,
 author       = "M. Kwiatkowski and I. Stark",
 year         = "2008",
 title        = "The Continuous $\pi $-Calculus: A Process Algebra for Biochemical Modelling",
 booktitle    = "Proceedings of CMSB 2008",
 series       = "LNCS 5307",
 pages        = "103--122",
 doi          = "10.1007/978-3-540-88562-7\_11",
)
@article(LaneLT:08,
 author       = "C. Laneve and F. Tarissan",
 year         = "2008",
 title        = "A simple calculus for proteins and cells",
 journal      = "Theoretical Computer Science",
 volume       = "404",
 pages        = "127--141",
 doi          = "10.1016/j.tcs.2008.04.011",
)
@article(MichMM:13,
 author       = "L. Michaelis and M. Menten",
 year         = "1913",
 title        = "Die {K}inetik der {I}nvertinwirkung",
 journal      = "Biochemistry Zeitung",
 volume       = "49",
 pages        = "333--369",
)
@book(Miln89,
 author       = "R. Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 publisher    = "Prentice Hall",
)
@article(PintPFMR:07,
 author       = "M.C. Pinto and L. Foss and J.C.M. Mombach and L. Ribeiro",
 year         = "2007",
 title        = "Modelling, property verification and behavioural equivalence of lactose operon regulation",
 journal      = "Computers in Biology and Medicine",
 volume       = "37",
 pages        = "134--148",
 doi          = "10.1016/j.compbiomed.2006.01.006",
)
@inproceedings(PriaPQ:04a,
 author       = "C. Priami and P. Quaglia",
 year         = "2004",
 title        = "Beta Binders for Biological Interactions",
 booktitle    = "Proceedings of CMSB 2004",
 series       = "LNCS 3082",
 pages        = "20--33",
 doi          = "10.1007/978-3-540-25974-9\_3",
)
@article(PriaPRSS:01a,
 author       = "C. Priami and A. Regev and E. Shapiro and W. Silverman",
 year         = "2001",
 title        = "Application of a stochastic name-passing calculus to representation and simulation of molecular processes",
 journal      = "Information Processing Letters",
 volume       = "80",
 pages        = "25--31",
 doi          = "10.1016/S0020-0190(01)00214-9",
)
@article(RegeRPSCS:04a,
 author       = "A. Regev and E. Panina and W. Silverman and L. Cardelli and E. Shapiro",
 year         = "2004",
 title        = "{BioAmbients}: an abstraction for biological compartments",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 pages        = "141--167",
 doi          = "10.1016/j.tcs.2004.03.061",
)
@article(RegeRS:02,
 author       = "A. Regev and E. Shapiro",
 year         = "2002",
 title        = "Cellular abstractions: Cells as computation",
 journal      = "Nature",
 volume       = "419",
 pages        = "343",
 doi          = "10.1038/419343a",
)
@article(SanfSGP:10,
 author       = "K.R. Sanft and D.T. Gillespie and L.R.Petzold",
 year         = "2010",
 title        = "Legitimacy of the stochastic Michaelis-Menten approximation",
 journal      = "IET Systems Biology",
 volume       = "5",
 pages        = "58--69",
 doi          = "10.1049/iet-syb.2009.0057",
)
@book(SegeS:93,
 author       = "I. H. Segel",
 year         = "1993",
 title        = "Enzyme Kinetics: Behaviour and Analysis of Rapid Equilibrium And Steady-State Enzyme Systems",
 publisher    = "Wiley Blackwell",
)
@article(SegeSS:89,
 author       = "L.A. Segel and M. Slemrod",
 year         = "1989",
 title        = "The Quasi-Steady-State Assumption: A Case Study in Perturbation",
 journal      = "SIAM Review",
 volume       = "31",
 pages        = "446--477",
 doi          = "10.1137/1031091",
)
@article(ZagaZKK:04,
 author       = "A. Zagaris and H.G. Kaper and T.J. Kaper",
 year         = "2004",
 title        = "$\tmspace -\thinmuskip {.1667em}$Analysis $\tmspace -\thinmuskip {.1667em}$of $\tmspace -\thinmuskip {.1667em}$the $\tmspace -\thinmuskip {.1667em}$Computational $\tmspace -\thinmuskip {.1667em}$Singular $\tmspace -\thinmuskip {.1667em}$Perturbation $\tmspace -\thinmuskip {.1667em}$Reduction $\tmspace -\thinmuskip {.1667em}$Method $\tmspace -\thinmuskip {.1667em}$for $\tmspace -\thinmuskip {.1667em}$Chemical $\tmspace -\thinmuskip {.1667em}$Kinetics",
 journal      = "$\tmspace -\thinmuskip {.1667em}$Journal $\tmspace -\thinmuskip {.1667em}$of $\tmspace -\thinmuskip {.1667em}$Nonlinear $\tmspace -\thinmuskip {.1667em}$Science",
 volume       = "$\tmspace -\thinmuskip {.1667em}$14",
 pages        = "$\tmspace -\thinmuskip {.1667em}$59--91",
 doi          = "10.1007/s00332-003-0582-9",
)