Login / Signup
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra.
Soufiene Benkirane
Rachel Norman
Erin Scott
Carron Shankland
Published in:
FM (2012)
Keyphrases
</>
process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
web services composition
infectious disease
concurrent programs
communication protocols
grid workflow
public health
petri net
database
distributed systems
web service composition
temporal logic