David Ralix Oaken: Optimisation of Definition Structures & Parameter Values in Process Algebra

@inproceedings{Oaken2014DavidRO,
  title={David Ralix Oaken: Optimisation of Definition Structures & Parameter Values in Process Algebra},
  author={David R. Oaken},
  year={2014}
}
Process Algebras are a Formal Modelling methodology which are an effective tool for defining models of complex systems, particularly those involving multiple interacting processes. However, describing such a model using Process Algebras requires expertise from both the modeller and the domain expert. Finding the correct model to describe a system can be… CONTINUE READING