Measuring the performance of asynchronous systems with PAFAS

Flavio Corradini, Walter Vogler. Measuring the performance of asynchronous systems with PAFAS. Theoretical Computer Science, 335(2-3):187-213, 2005. [doi]

Bibliographies