Bogdan Aman, Mariangiola Dezani-Ciancaglini & Angelo Troina (2009):
Type Disciplines for Analysing Biologically Relevant Properties.
In: Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08),
ENTCS 227.
Elsevier,
pp. 97–111,
doi:10.1016/j.entcs.2008.12.106.
Roberto Barbuti, Mariangiola Dezani-Ciancaglini, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2010):
A Formalism for the Description of Protein Interaction.
Fundamenta Informaticae 104(1-4),
pp. 1–29,
doi:10.3233/FI-2010-316.
Roberto Barbuti, Andrea Maggiolo-Schettini & Paolo Milazzo (2006):
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.
In: International Symposium on Bioinformatics Research and Applications (ISBRA'07),
LNBI 4463.
Springer,
pp. 638–649,
doi:10.1007/978-3-540-72031-7_58.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2006):
Bisimulation Congruences in the Calculus of Looping Sequences.
In: International Colloquium on Theoretical Aspects of Computing (ICTAC'06),
LNCS 4281.
Springer,
pp. 93–107,
doi:10.1007/11921240_7.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2006):
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundamenta Informaticæ 72(1–3),
pp. 21–35,
doi:10.3233/FI-2006-79.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2007):
The Calculus of Looping Sequences for Modeling Biological Membranes.
In: Workshop on Membrane Computing,
LNCS 4860.
Springer,
pp. 54–76,
doi:10.1007/978-3-540-77312-2_4.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2008):
Bisimulations in Calculi Modelling Membranes.
Formal Aspects of Computing 20(4-5),
pp. 351–377,
doi:10.1007/s00165-008-0071-x.
Livio Bioglio (2011):
Enumerated type semantics for the calculus of looping sequences.
RAIRO - Theoretical Informatics and Applications 45(01),
pp. 35–58,
doi:10.1051/ita/2011010.
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini & Angelo Troina (2012):
Typed stochastic semantics for the calculus of looping sequences.
Theoretical Computer Science 431,
pp. 165–180,
doi:10.1016/j.tcs.2011.12.062.
Nadia Busi (2007):
Using Well-structured Transition Systems to Decide Divergence for Catalytic P Systems.
Theoretical Computer Science 372,
pp. 125–135,
doi:10.1016/j.tcs.2006.11.021.
Vincent Danos & Cosimo Laneve (2004):
Formal Molecular Biology.
Theoretical Computer Science 325,
pp. 69–110,
doi:10.1016/j.tcs.2004.03.065.
Mariangiola Dezani-Ciancaglini, Paola Giannini & Angelo Troina (2009):
A Type System for a Stochastic CLS.
In: Proc. of 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC), Bologna, Italy 11.
EPTCS,
pp. 91–105,
doi:10.4204/EPTCS.11.6.
Mariangiola Dezani-Ciancaglini, Paola Giannini & Angelo Troina (2009):
A Type System for Required/Excluded Elements in CLS.
In: Developments in Computational Models (DCM'09),
EPTCS 9,
pp. 38–48,
doi:10.4204/EPTCS.9.5.
Pavel Dolezal, Vladimir Likic, Jan Tachezy & Trevor Lithgow (2006):
Evolution of the Molecular Machines for Protein Import into Mitochondria.
Science 313(5785),
pp. 314–318,
doi:10.1126/science.1127895.
Paolo Milazzo (2007):
Qualitative and Quantitative Formal Modeling of Biological Systems.
University of Pisa.
Nicolas Oury & Gordon Plotkin (2012):
Multi-Level Modelling via Stochastic Multi-Level Multiset Rewriting.
Mathematical Structures in Computer Science..
To appear.
Gheorghe Păun (2002):
Membrane Computing. An Introduction.
Springer.