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
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
Abstract interpretation and types for systems biology
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Disciplines for Analysing Biologically Relevant Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
CoBiC: Context-dependent Bioambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
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
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
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
Bisimulation congruences in the calculus of looping sequences
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
A p system description of the sodium-potassium pump
WMC'04 Proceedings of the 5th international conference on Membrane 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
Modelling ecological systems with the calculus of wrapped compartments
CMC'12 Proceedings of the 13th international conference on Membrane Computing
| Hi-index | 5.23 |
The stochastic calculus of looping sequences is a quantitative term rewrite formalism suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. In this paper, we propose an operational semantics for this calculus that considers the types of the species to derive the stochastic evolution of the system. The presence of positive and negative catalysers can modify these speeds. We claim that types provide an abstraction suitable to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through an example modelling the lactose operon.