A calculus of looping sequences for modelling microbiological systems

Fundamenta Informaticae

Volumn 72, Issue 1-3 SPEC. ISS., 2006, Pages 21-35

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Troina, Angelo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BACTERIA; BACTERIOPHAGES; BIOLOGICAL MEMBRANES; NATURAL SCIENCES; VIRUSES;

CALCULUS OF LOOPING SEQUENCES (CLS); CIRCULAR SEQUENCE; LOOPING; PARALLEL COMPOSITION;

MICROBIOLOGY;

EID: 33747069635     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (14)

1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin and J. Schug. "Hybrid modeling and simulation of biomolecular networks". In Hybrid Systems: Computation and Control, LNCS 2034, pages 19-32, Springer, 2001.
2. R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A. Troina. "A probabilistic model for molecular systems". Fundamenta Informaticae, volume 67, pages 13-27, 2005.
3. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and A. Troina. "An alternative to Gillespie's algorithm for simulating chemical reactions". Computational Methods in Systems Biology (CMSB'05), Edinburgh, 2005.
4. L. Cardelli. "Bioware languages". In Computer Systems. Theory, Technology and Applications. Papers for Roger Needham, Springer, pages 59-66, 2003.
5. L. Cardelli. "Brane calculi, interactions of biological membranes". Computational Methods in Systems Biology (CMSB'04), LNCS 3082, pages 257-280, Springer, 2005.
6. N. Chabrier-Rivier, M. Chiaverini, V. Danos, F. Fages and V. Schachter. "Modeling and querying biomolecular interaction networks". Theoretical Computer Science, volume 325, number 1, pages 25-44, 2004.
7. M. Curti, P. Degano, C. Priami and C.T. Baldari. "Modelling biochemical pathways through enhanced pi-calculus". Theoretical Computer Science, volume 325, number 1, pages 111-140, 2004.
8. V. Danos and C. Laneve. "Formal molecular biology". Theoretical Computer Science, volume 325, number 1, pages 69-110, 2004.
9. C. Flanagan and M. Abadi. "Object types against races". CONCUR'99, LNCS 1664, pages 288-303, Springer, 1999.
10. A. Gordon and P. Hankin. "A concurrent object calculus: reduction and typing". High-Level Concurrent Languages (HLCL'98), Elsevier ENTCS, volume 16, number 3, 1998.
11. H. Matsuno, A. Doi, M. Nagasaki and S. Miyano."Hybrid Petri net representation of gene regulatory network". In Pacific Symposium on Biocomputing, World Scientific Press, pages 341-352, 2000.
12. G. Pǎun. "Membrane computing, an introduction". Springer, 2002.
13. A. Regev, E.M. Panina, W. Silverman, L. Cardelli and E. Shapiro. "BioAmbients: an abstraction for biological compartments". Theoretical Computer Science, volume 325, number 1, pages 141-167, 2004.
14. A. Regev, W. Silverman and E.Y. Shapiro. "Representation and simulation of biochemical processes using the pi-calculus process algebra". Pacific Symposium on Biocomputing, World Scientific Press, pages 459-470, 2001.