48 citations · 124 across the 18 of their papers we have counts for
Showing cs.CEShow all
2 papers · 1 filter
cs.CE2011★ 3 cited
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…
cs.CE2010★ 7 cited
Modeling biological systems with delays in Bio-PEPA
Giulio Caravagna, Jane Hillston
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system re…