A Calculus of Looping Sequences for Modelling Microbiological Systems

Authors:
Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Angelo Troina
Affiliations:
Dipartimento di Informatica, Università di Pisa Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mails: {barbuti,maggiolo,milazzo,troina}@di.unipi.it;Dipartimento di Informatica, Università di Pisa Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mails: {barbuti,maggiolo,milazzo,troina}@di.unipi.it;Dipartimento di Informatica, Università di Pisa Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mails: {barbuti,maggiolo,milazzo,troina}@di.unipi.it;Dipartimento di Informatica, Università di Pisa Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mails: {barbuti,maggiolo,milazzo,troina}@di.unipi.it
Venue:
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Year:
2006

Citing 9
Cited 1

Membrane Computing: An Introduction

Membrane Computing: An Introduction
Object Types against Races

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Hybrid Modeling and Simulation of Biomolecular Networks

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Modeling and querying biomolecular interaction networks

Theoretical Computer Science - Special issue: Computational systems biology
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
Modelling biochemical pathways through enhanced π-calculus

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A Probabilistic Model for Molecular Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)

Minimal reaction systems

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents the Calculus of Looping Sequences (CLS) suitable to describe microbiological systems and their evolution. The terms of the calculus are constructed by basic constituent elements and operators of sequencing, looping, containment and parallel composition. The looping operator allows tying up the ends of a sequence, thus creating a circular sequence which can represent a membrane. We show that a membrane calculus recently proposed can be encoded into CLS. We use our calculus to model interactions among bacteria and bacteriophage viruses, and to reason on their properties.