The MAPK (mitogen-activated protein kinase) pathway is one of the most important and
intensively studied signalling pathways. It is at the heart of a molecular-signalling network …

Formalized rules for protein-protein interactions have recently been introduced to represent
the binding and enzymatic activities of proteins in cellular signaling. Rules encode an …

In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of
biochemical networks. It is a modification of PEPA, originally defined for the performance …

We give a description of a Petri net-based framework for modelling and analysing
biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms …

Recently, there has been considerable interest in the use of Model Checking for Systems
Biology. Unfortunately, the state space of stochastic biological models is often too large for …

Given the combinatorial nature of cellular signalling pathways, where biological agents can
bind and modify each other in a large number of ways, concurrent or agent-based …

Probabilistic model checking is a formal verification technique that has been successfully
applied to the analysis of systems from a broad range of domains, including security and …

The mitogen activated protein kinase/extracellular signal regulated kinase pathway
regulates fundamental cellular function such as cell proliferation, survival, differentiation and …

We introduce a reversible process calculus with a new feature of execution control that
allows us to change the direction and pattern of computation. This feature allows us to model …

Probabilistic model checking is a formal verification framework for systems which exhibit
stochastic behaviour. It has been successfully applied to a wide range of domains, including …