DOI: 10.1016/j.ic.2014.01.016
| View full text |Cite
Sign up to set email alerts

Abstract: This paper investigates the stochastic, continuous and instantaneous (hybrid) modelling of systems defined in Bio-PEPA, a quantitative process algebra for biological modelling. This is achieved by mapping a Bio-PEPA model to a model in stochastic HYPE, a process algebra that models these three behaviour types in a compositional and structured manner. The novel mapping between process algebras provides another method of analysis for Bio-PEPA models and presents the modeller with a well-structured stochastic HYP… Show more

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles