Process Algebra Models of Population Dynamics.

Chris McCaig Rachel Norman Carron Shankland

Published in: AB (2008)

Keyphrases

population dynamics
theoretical models
process algebra
real time
machine learning
formal specification
formal methods