7 citations · 14 across the 3 of their papers we have counts for
3 papers
A semi-quantitative equivalence for abstracting from fast reactions
Vashti Galpin, Jane Hillston, Federica Ciocchetta
Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algeb…
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as…
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero
The vast majority of biochemical systems involve the exchange of information between different compartments, either in the form of transportation or via the intervention of membran…