Giorgio Bacci, Davide Grohmann & Marino Miculan (2009):
Bigraphical models for protein and membrane interactions.
In: Gabriel Ciobanu: Proc. MeCBIC'09,
EPTCS 11,
pp. 3–18.
Available at http://dx.doi.org/10.4204/EPTCS.11.1.
Giorgio Bacci & Marino Miculan (2012):
Measurable Stochastics for Brane Calculus.
Theoretical Computer Science 431,
pp. 117–136.
Available at http://dx.doi.org/10.1016/j.tcs.2011.12.055.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2007):
The Calculus of Looping Sequences for Modeling Biological Membranes.
In: George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg & Arto Salomaa: Workshop on Membrane Computing,
Lecture Notes in Computer Science 4860.
Springer,
pp. 54–76.
Available at http://dx.doi.org/10.1007/978-3-540-77312-2_4.
Luca Cardelli (2004):
Brane Calculi.
In: Vincent Danos & Vincent Schächter: Proc. CMSB,
Lecture Notes in Computer Science 3082.
Springer,
pp. 257–278.
Available at http://dx.doi.org/10.1007/978-3-540-25974-9_24.
Luca Cardelli & Radu Mardare (2010):
The Measurable Space of Stochastic Processes.
In: Proc. QEST.
IEEE Computer Society,
pp. 171–180.
Available at http://dx.doi.org/10.1109/QEST.2010.30.
Federica Ciocchetta & Maria Luisa Guerriero (2009):
Modelling Biological Compartments in Bio-PEPA.
Electronic Notes in Theoretical Computer Science 227,
pp. 77–95.
Available at http://dx.doi.org/10.1016/j.entcs.2008.12.105.
Troels Christoffer Damgaard, Espen Højsgaard & Jean Krivine (2012):
Formal Cellular Machinery.
Electronic Notes in Theoretical Computer Science 284,
pp. 55–74.
Available at http://dx.doi.org/10.1016/j.entcs.2012.05.015.
Holger Hermanns (2002):
Interactive Markov Chains: The Quest for Quantified Quality.
Lecture Notes in Computer Science 2428.
Springer.
Available at http://dx.doi.org/10.1007/3-540-45804-2.
Matthew R. Lakin, Loïc Paulevé & Andrew Phillips (2012):
Stochastic Simulation of Multiple Process Calculi for Biology.
Theoretical Computer Science 431,
pp. 181–206.
Available at http://dx.doi.org/10.1016/j.tcs.2011.12.057.
Cosimo Laneve & Fabien Tarissan (2008):
A simple calculus for proteins and cells.
Theoretical Computer Science 404(1-2),
pp. 127–141.
Available at http://dx.doi.org/10.1016/j.tcs.2008.04.011.
Loïc Paulevé, Simon Youssef, Matthew R. Lakin & Andrew Phillips (2010):
A generic abstract machine for stochastic process calculi.
In: Paola Quaglia: Proc. CMSB.
ACM,
pp. 43–54.
Available at http://dx.doi.org/10.1145/1839764.1839771.
Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli & Ehud Y. Shapiro (2004):
BioAmbients: an abstraction for biological compartments.
Theoretical Computer Science 325(1),
pp. 141–167.
Available at http://dx.doi.org/10.1016/j.tcs.2004.03.061.