A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Communication and Concurrency
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
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
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Some Investigations Concerning the CTMC and the ODE Model Derived From 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
Hybrid dynamics of stochastic programs
Theoretical Computer Science
Formal cell biology in biocham
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
Petri nets for systems and synthetic 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
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
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
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Equivalences for a biological process algebra
Theoretical Computer Science
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Hi-index | 5.23 |
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more manageable state space. The discretisation is based on a step size which determines the size of each discrete level and also the number of levels. This paper considers the relationship between two discretisations of the same Bio-PEPA model that differ only in the step size and hence the number of levels, by using the idea of equivalence from concurrency and process algebra. We present a novel behavioural semantic equivalence, compression bisimilarity, and investigate when this equates two discretisations of the same model and the circumstances in which this equivalence is a congruence with respect to the synchronisation operator.