Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas. How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. In Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio, editors, Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Volume 3236 of Lecture Notes in Computer Science, pages 128-142, Springer, 2004. [doi]
Abstract is missing.