From rewrite rules to bisimulation congruences
Theoretical Computer Science
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th 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
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 Probabilistic Model for Molecular Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
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
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
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
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 for modeling biological membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
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
Action-based analysis of discrete regulatory networks with short-term stimuli
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Modelling ammonium transporters in arbuscular mycorrhiza symbiosis
Transactions on computational systems biology XIII
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The Calculus of Looping Sequences (CLS) is a calculus suitable to describe biological systems and their evolution. CLS terms are constructed by starting from basic constituents and composing them by means of operators of concatenation, looping, containment and parallel composition. CLS terms can be transformed by applying rewrite rules. We give a labeled transition semantics for CLS by using, as labels, contexts in which rules can be applied. We define bisimulation relations that are congruences with respect to the operators on terms, and we show an application of CLS to the modeling of a biological system and we use bisimulations to reason about properties of the described system.