A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Probabilistic symbolic model checking with PRISM: a hybrid approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems 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
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Bisimulations in calculi modelling membranes
Formal Aspects of Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Extending the calculus of looping sequences to model protein interaction at the domain level
ISBRA'07 Proceedings of the 3rd international conference on Bioinformatics research and applications
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Bisimulation congruences in the calculus of looping sequences
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Modelling ammonium transporters in arbuscular mycorrhiza symbiosis
Transactions on computational systems biology XIII
Spatial Calculus of Looping Sequences
Theoretical Computer Science
Simulation of kohn's molecular interaction maps through translation into stochastic CLS+
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
Modelling ecological systems with the calculus of wrapped compartments
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
The paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable to describe microbiological systems, such as cellular pathways, and their evolution. Systems are represented by terms. 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. The evolution of a term is modelled by a set of rewrite rules enriched with stochastic rates representing the speed of the activities described by the rules, and can be simulated automatically. As applications, we give SCLS representations of the regulation process of the lactose operon in Escherichia coli and of the quorum sensing in Pseudomonas aeruginosa . A prototype simulator (SCLSm) has been implemented in F# and used to run the experiments. A public version of the tool is available at the url: http://www.di.unipi.it/~milazzo/biosims/ .