1. Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler;Bradley,2003
2. A fluid analysis framework for a Markovian process algebra;Hayden;Theoretical Computer Science,2010
3. Fluid flow approximation of PEPA models;Hillston,2005
4. Stochastic concurrent constraint programming and differential equations;Bortolussi,2007
5. From processes to ODEs by Chemistry;Cardelli,2008