How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results

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]

Authors

Jeremy T. Bradley

This author has not been identified. Look up 'Jeremy T. Bradley' in Google

Stephen T. Gilmore

This author has not been identified. Look up 'Stephen T. Gilmore' in Google

Nigel Thomas

This author has not been identified. Look up 'Nigel Thomas' in Google