@unknown(bgm:biobig,
 author       = "Giorgio Bacci and Davide Grohmann and Marino Miculan",
 year         = "2009",
 title        = "Bigraphical models for protein and membrane interactions",
 editor       = "Gabriel Ciobanu",
 booktitle    = "Proc.~MeCBIC'09",
 series       = "EPTCS",
 volume       = "11",
 pages        = "3--18",
 url          = "http://dx.doi.org/10.4204/EPTCS.11.1",
)
@unknown(bm:tcs12,
 author       = "Giorgio Bacci and Marino Miculan",
 year         = "2012",
 title        = "Measurable Stochastics for {Brane Calculus}",
 journal      = "Theoretical Computer Science",
 volume       = "431",
 pages        = "117--136",
 url          = "http://dx.doi.org/10.1016/j.tcs.2011.12.055",
)
@unknown(bmsmt:cls,
 author       = "Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo Milazzo and Angelo Troina",
 year         = "2007",
 title        = "The Calculus of Looping Sequences for Modeling Biological Membranes",
 editor       = "George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Workshop on Membrane Computing",
 series       = "Lecture Notes in Computer Science",
 volume       = "4860",
 publisher    = "Springer",
 pages        = "54--76",
 url          = "http://dx.doi.org/10.1007/978-3-540-77312-2\_4",
)
@unknown(cardelli04:bc,
 author       = "Luca Cardelli",
 year         = "2004",
 title        = "Brane Calculi",
 editor       = "Vincent Danos and Vincent Sch{\"a}chter",
 booktitle    = "Proc.~CMSB",
 series       = "Lecture Notes in Computer Science",
 volume       = "3082",
 publisher    = "Springer",
 pages        = "257--278",
 url          = "http://dx.doi.org/10.1007/978-3-540-25974-9\_24",
)
@unknown(cm:quest10,
 author       = "Luca Cardelli and Radu Mardare",
 year         = "2010",
 title        = "The Measurable Space of Stochastic Processes",
 booktitle    = "Proc.~QEST",
 publisher    = "IEEE Computer Society",
 pages        = "171--180",
 url          = "http://dx.doi.org/10.1109/QEST.2010.30",
)
@unknown(cg:biopepa,
 author       = "Federica Ciocchetta and Maria Luisa Guerriero",
 year         = "2009",
 title        = "Modelling Biological Compartments in {Bio-PEPA}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "227",
 pages        = "77--95",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.12.105",
)
@unknown(dhk:fcm,
 author       = "Troels Christoffer Damgaard and Espen H{\o }jsgaard and Jean Krivine",
 year         = "2012",
 title        = "Formal Cellular Machinery",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "284",
 pages        = "55--74",
 url          = "http://dx.doi.org/10.1016/j.entcs.2012.05.015",
)
@unknown(hermanns02,
 author       = "Holger Hermanns",
 year         = "2002",
 title        = "Interactive Markov Chains: The Quest for Quantified Quality",
 series       = "Lecture Notes in Computer Science",
 volume       = "2428",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/3-540-45804-2",
)
@unknown(kmt:mfps08,
 author       = "Jean Krivine and Robin Milner and Angelo Troina",
 year         = "2008",
 title        = "Stochastic Bigraphs",
 booktitle    = "Proc.~24th MFPS",
 series       = "ENTCS",
 volume       = "218",
 pages        = "73--96",
 url          = "http://dx.doi.org/10.1016/j.entcs.2008.10.006",
)
@unknown(lpp:tcs12,
 author       = "Matthew R. Lakin and Lo{\"i}c Paulev{\'e} and Andrew Phillips",
 year         = "2012",
 title        = "Stochastic Simulation of Multiple Process Calculi for Biology",
 journal      = "Theoretical Computer Science",
 volume       = "431",
 pages        = "181--206",
 url          = "http://dx.doi.org/10.1016/j.tcs.2011.12.057",
)
@unknown(lt:biokappa,
 author       = "Cosimo Laneve and Fabien Tarissan",
 year         = "2008",
 title        = "A simple calculus for proteins and cells",
 journal      = "Theoretical Computer Science",
 volume       = "404",
 number       = "1-2",
 pages        = "127--141",
 url          = "http://dx.doi.org/10.1016/j.tcs.2008.04.011",
)
@unknown(prakashbook09,
 author       = "Prakash Panangaden",
 year         = "2009",
 title        = "Labelled Markov Processes",
 publisher    = "Imperial College Press",
 address      = "London, U.K.",
)
@unknown(pylp:cmsb10,
 author       = "Lo\"{\i }c Paulev{\'e} and Simon Youssef and Matthew R. Lakin and Andrew Phillips",
 year         = "2010",
 title        = "A generic abstract machine for stochastic process calculi",
 editor       = "Paola Quaglia",
 booktitle    = "Proc.~CMSB",
 publisher    = "ACM",
 pages        = "43--54",
 url          = "http://dx.doi.org/10.1145/1839764.1839771",
)
@unknown(rpscs:bioambients,
 author       = "Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Y. Shapiro",
 year         = "2004",
 title        = "BioAmbients: an abstraction for biological compartments",
 journal      = "Theoretical Computer Science",
 volume       = "325",
 number       = "1",
 pages        = "141--167",
 url          = "http://dx.doi.org/10.1016/j.tcs.2004.03.061",
)