Developing multi-threaded Java applications from high-level models in the PEPA stochastic process algebra

Stephen Gilmore, Kris Powell

Research output: Working paper

Fingerprint

Dive into the research topics of 'Developing multi-threaded Java applications from high-level models in the PEPA stochastic process algebra'. Together they form a unique fingerprint.

Engineering & Materials Science