Adam Duguid Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. [Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:156-170 [Conf]
Integrated Analysis from Abstract Stochastic Process Algebra Models. [Citation Graph (, )][DBLP]
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. [Citation Graph (, )][DBLP]