Paul C. Attie & E. Allen Emerson (1998):
Synthesis of concurrent systems with many similar processes.
ACM Transactions on Programming Languages and Systems 20(1),
pp. 51–115,
doi:10.1145/271510.271519.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2006):
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundamenta Informaticae 72(1-3),
pp. 21–35.
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill & L. J. Hwang (1992):
Symbolic Model Checking: 10^20 States and Beyond.
Information and Computation 98(2),
pp. 142–170,
doi:10.1016/0890-5401(92)90017-A.
Luca Cardelli (2005):
Brane Calculi.
Computational Methods in Systems Biology,
pp. 257–278,
doi:10.1007/978-3-540-25974-9_24.
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002):
NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking.
In: Proc. International Conference on Computer-Aided Verification (CAV 2002),
LNCS 2404.
Springer,
Copenhagen, Denmark,
pp. 241–268,
doi:10.1007/3-540-45657-0_29.
Federica Ciocchetta & Jane Hillston (2009):
Bio-PEPA: A framework for the modelling and analysis of biological systems.
Theoretical Computer Science 410(33-34),
pp. 3065–3084,
doi:10.1016/j.tcs.2009.02.037.
Edmund M. Clarke, Orna Grumberg & David E. Long (1994):
Model checking and abstraction.
ACM Transactions on Programming Languages and Systems 16(5),
pp. 1512–1542,
doi:10.1145/186025.186051.
Edmund M. Clarke, Orna Grumberg & Doron Peled (1999):
Model Checking.
MIT Press.
Vincent Danos & Cosimo Laneve (2004):
Formal molecular biology.
Theoretical Computer Science 325(1),
pp. 69–110,
doi:10.1016/j.tcs.2004.03.065.
Peter Drábik, Andrea Maggiolo-Schettini & Paolo Milazzo (2010):
Dynamic Sync-programs for Modular Verification of Biological Systems.
In: 2nd Int. Workshop on Non-Classical Models of Automata and applications (NCMA'10) 263.
Austrian Computer Society,
Jena, Germany,
pp. 71–83.
Peter Drábik, Andrea Maggiolo-Schettini & Paolo Milazzo (2010):
Modular Verification of Interactive Systems with an Application to Biology.
Electronic Notes in Theoretical Computer Science 268,
pp. 61–75,
doi:10.1016/j.entcs.2010.12.006.
Peter Drábik, Andrea Maggiolo-Schettini & Paolo Milazzo (2011):
Modular Verification of Interactive Systems with an Application to Biology.
Scientific Annals of Computer Science 21,
pp. 39–72.
E. Allen Emerson & Chin-Laung Lei (1987):
Modalities for model checking: branching time logic strikes back.
Science of Computer Programming 8,
pp. 275–306,
doi:10.1016/0167-6423(87)90036-0.
François Fages, Sylvain Soliman & Nathalie Chabrier-Rivier (2004):
Modelling and querying interaction networks in the biochemical abstract machine biocham.
Journal of Biological Physics and Chemistry 4,
pp. 64–73.
John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & Oksana Tymchyshyn (2008):
Probabilistic model checking of complex biological pathways.
Theoretical Computer Science 391(3),
pp. 239–257,
doi:10.1016/j.tcs.2007.11.013.
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas & Hidde de Jong (2008):
Temporal logic patterns for querying dynamic models of cellular interaction networks.
Bioinformatics 24(16),
pp. 227–233,
doi:10.1093/bioinformatics/btn275.
Amir Pnueli (1981):
The temporal semantics of concurrent programs.
Theoretical Computer Science 13(1),
pp. 45 – 60,
doi:10.1016/0304-3975(81)90110-9.
Corrado Priami, Aviv Regev, Ehud Shapiro & William Silverman (2001):
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Information Processing Letters 80(1),
pp. 25–31,
doi:10.1016/S0020-0190(01)00214-9.
Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli & Ehud Shapiro (2004):
BioAmbients: an abstraction for biological compartments.
Theoretical Computer Science 325(1),
pp. 141–167,
doi:10.1016/j.tcs.2004.03.061.
Birgit Schoeberl, Claudia Eichler-Jonsson, Ernst Dieter Gilles & Gertraud Muller (2002):
Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors.
Nature Biotechnology 20(4),
pp. 370–375,
doi:10.1038/nbt0402-370.