Bisimulation congruences in the calculus of looping sequences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4281 LNCS, Issue , 2006, Pages 93-107

  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

COMPUTER SIMULATION; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; PARALLEL PROCESSING SYSTEMS;

BIOLOGICAL SYSTEMS; BISIMULATION RELATIONS; CONGRUENCES;

DIFFERENTIATION (CALCULUS);

EID: 33845917590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11921240_7     Document Type: Conference Paper

References (13)

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". 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. "A Calculus of Looping Sequences for Modelling Microbiological Systems". Fundamenta Informaticae, volume 72, pages 1-15, 2006.
4. L. Cardelli. "Brane Calculi. Interactions of Biological Membranes". CMSB'04, LNCS 3082, pages 257-280, Springer, 2005.
5. N. Chabrier-Rivier, M. Chiaverini, V. Danos, F. Pages and V. Schachter. "Modeling and Querying Biomolecular Interaction Networks". Theoretical Computer Science, volume 325, number 1, pages 25-44, 2004.
6. 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.
7. V. Danos and C. Laneve. "Formal Molecular Biology". Theoretical Computer Science, volume 325, number 1, pages 69-110, 2004.
8. J. Leifer and R. Milner. "Deriving Bisimulation Congruences for Reactive Systems". CONCUR'00, LNCS 1877, pages 243-258, Springer, 2000.
9. H. Matsuno, A. Doi, M. Nagasaki and S. Miyano. "Hybrid Petri Net Representation of Gene Regulatory Network". Pacific Symposium on Biocomputing, World Scientific Press, pages 341-352, 2000.
10. C. Priami and P. Quaglia "Beta Binders for Biological Interactions". CMSB'04, LNCS 3082, pages 20-33, Springer, 2005.
11. 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.
12. 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.
13. P. Sewell. "From Rewrite Rules to Bisimulation Congruences". Theoretical Computer Science, volume 274, pages 183-230, 2002.