Bisimulation through probabilistic testing
Information and Computation
A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Communication and Concurrency
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Theoretical Computer Science - Special issue: Computational systems biology
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modelling, property verification and behavioural equivalence of lactose operon regulation
Computers in Biology and Medicine
Bisimulations in calculi modelling membranes
Formal Aspects of Computing
A simple calculus for proteins and cells
Theoretical Computer Science
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Process Algebra Modelling Styles for Biomolecular Processes
Transactions on Computational Systems Biology XI
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway
Transactions on Computational Systems Biology XI
Process algebras in systems biology
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
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Transactions on Computational Systems Biology VII
Modelling and analysis of the NF-κB pathway in bio-PEPA
Transactions on Computational Systems Biology XII
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
A Software Interface Between the Narrative Language and Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |
This paper investigates Bio-PEPA, the stochastic process algebra for biological modelling developed by Ciocchetta and Hillston. It focuses on Bio-PEPA with levels where molecular counts are grouped or concentrations are discretised into a finite number of levels. Basic properties of well-defined Bio-PEPA systems are established after which equivalences used for the stochastic process algebra PEPA are considered for Bio-PEPA, and are shown to be identical for well-defined Bio-PEPA systems. Two new semantic equivalences parameterised by functions, called g-bisimilarity and weak g-bisimilarity are introduced. Different functions lead to different equivalences for Bio-PEPA. Congruence is shown for both forms of g-bisimilarity under certain reasonable conditions on the function and the use of these equivalences are demonstrated with a biologically-motivated example where two similar species are treated as a single species, and modelling of alternative pathways in the MAPK kinase signalling cascade.