Model checking biological systems described using ambient calculus

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3082, Issue , 2005, Pages 85-103

  Mardare, Radu ^a   Priami, Corrado ^a   Quaglia, Paola ^a   Vagin, Oleksandr ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; MATHEMATICAL MODELS; TREES (MATHEMATICS);

AMBIENT CALCULUS; BIOLOGICAL SYSTEMS; SYNTAX TREES; TEMPORAL LOGICS;

BIOTECHNOLOGY;

BIOLOGICAL SYSTEMS; CALCULUS; SYNTAX TREES;

EID: 26444617213     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_8     Document Type: Conference Paper

References (16)

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. B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, and P. Walter. Molecular Biology of the Cell. Garland Publishing, Inc., fourth edition, 2002.
7. A.Regev, E.M.Panina, W.Silverman, L.Cardelli, and E.Shapiro. Bioambients: An abstraction for biological compartments. http://www.luca.demon.co.uk/, to appear in Theoretical Computer Science, 2003.
8. J. Barwise and 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. http://www.luca.demon.co.uk/.
10. L. Cardelli and L. Caires. A spatial logic for concurrency (part i). Information and Computation, Vol. 186/2, pages: 194-235, 2003.
11. L. Cardelli and A.D. Gordon. Ambient logic. http://www.luca.demon.co.uk/ to appear in Mathematical Structures in Computer Science.
12. L. Cardelli and A.D. Gordon. Anytime, anywhere, modal logics for mobile ambients. Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pages 365-377, 2000.
13. L. Cardelli and A.D. Gordon. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination, D. Le Metayer Editor, pages 177-213, June 2000.
14. E. A. Emerson. Temporal and modal logic. Handbook of Theoretical Computer Science, B: Formal Models and Sematics:995-1072, 1990.
15. R. Mardare and C. Priami. Computing the accessibility relation for ambient calculus. Technical report, Dipartimento di Informatica e Tic, University of Trento, 2003. Available at http://www.dit.unitn.it following the link Publications.
16. R. Mardare and C. Priami. A propositional branching temporal logic for the ambient calculus. Technical report, Dipartimento di Informatica e Tlc, University of Trento, 2003. Available at http://www.dit.unitn.it following the link Publications.