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]
@inproceedings{BradleyGT04,
title = {How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results},
author = {Jeremy T. Bradley and Stephen T. Gilmore and Nigel Thomas},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3236&spage=128},
researchr = {https://researchr.org/publication/BradleyGT04},
cites = {0},
citedby = {0},
pages = {128-142},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004},
editor = {Manuel Núñez and Zakaria Maamar and Fernando L. Pelayo and Key Pousttchi and Fernando Rubio},
volume = {3236},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23169-2},
}