Logical analysis of biological systems

Fundamenta Informaticae

Volumn 64, Issue 1-4, 2005, Pages 275-289

  Mardare, Radu ^a,b,c   Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b Bucharest University ^*  (Italy)

^c UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

Ambient calculus; Hypersets; Model checking; Process algebra; Temporal logics

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; SET THEORY;

BIOLOGICAL SYSTEMS; HYPERSETS THEORY; KRIPKE STRUCTURE; LOGICAL ANALYSIS;

FORMAL LOGIC;

EID: 24044508608     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. HyTech: The HYbrid TECHnology Tool, http://www-cad.eecs.berkeley.edu/tah/ HyTech/.
2. NuSMV: A New Symbolic Model Checker, http://nusmv.irst.itc.it/.
3. Receptors Directly Activating Trimetric G Proteins, http://courses. washington.edu/conj/gprotein/trimericgp.htm.
4. The SMV System, http://www-2.cs.cmu.edu/modelcheck/smv.html.
5. VIS Homepage, http://www-cad.eecs.berkeley.edu/vis/.
6. P. Aczel Non-Welt-Founded Sets, CLSI Lecture Notes Number 14 Stanford: CSLI Publication, 1988.
7. B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, P. Walter, Molecular Biology of the Cell, Garland Publishing, Inc., 2002.
8. J. Barwise, L. Moss, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena, CLSI Lecture Notes Number 60 Stanford: CSLI Publication, 1996.
9. L. Cardelli, Brane Calculi, Electronic Notes in Theoretical Computer Science (to appear); available at http://www.luca.demon.co.uk/.
10. L. Cardelli, L. Caires, A Spatial Logic for Concurrency (Part 1), Information and Computation, 186, 2 (2003), 194-235.
11. L. Cardelli, A.D. Gordon, Mobile Ambients, Theoretical Computer Science, 2000, 177-213.
12. L. Cardelli, A.D. Gordon, Anytime, Anywhere. Modal Logics for Mobile Ambients, Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000, 365-377.
13. L. Cardelli, A.D. Gordon, Ambient Logic, Mathematical Structures in Computer Science, to appear; available at http://www.luca.demon.co.uk/.
14. E. A. Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, Vol. B: Formal Models and Sematics, Elsevier, 1990, 995-1072.
15. D.M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic and the Foundations of Mathematics, 148 (2003).
16. F. Honsell, M. Forti, Set Theory with Free Construction Principles, Annali Scuola Normale Superiore di Pisa, 1983.
17. R. Mardare, C. Priami, Computing the Accessibility Relation for Ambient Calculus, Dipartimento di Informatica e Tlc, University of Trento, 2003; available at http://www.dit.unitn.it following the link Publications.
18. R. Mardare, C. Priami, A Propositional Branching Temporal Logic for the Ambient Calculus, Dipartimento di Informatica e Tlc, University of Trento, 2003; available at http://www.dit.unitn.it following the link Publications.
19. R. Mardare, C. Priami, A Logical Spproach to security in the Context of Ambient Calculus, Electronic Notes in Computer Science (to appear).
20. R. Mardare, C. Priami, Model Checking Biological Systems Described Using Ambient Calculus, Electronic Notes in Computer Science, to appear.
21. R. Milner, A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, 1980.
22. R. Milner, Communicating and Mobile Systems: the Pi-Calculus, Cambridge University Press, 1999.
23. R. Milner, O.H. Jensen, Bigraphs and Mobile Processes, Technical Report No 580, University of Cambridge, Computer Laboratory, 2004.
24. J. Parrow, An Introduction to π-Calculus, Handbook of Process Algebra, Elsevier, 2000.
25. Gh. Päun, Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.
26. C. Priami, Stochastic Π-Calculus, Comput. J., 6 (1995), 578-589.
27. C. Priami, A. Regev, E. Shapiro, W. Silverman, Application of Stochastic Name-Passing Calculus to Representation and Simulation of Molecular Processes, Information Processing Letters, 80 (2001), 25-31.
28. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, E. Shapiro, BioAmbients: An Abstraction for Biological Compartments, Theoretical Computer Science (to appear); available at http://www.luca.demon.co.uk/.