Flavio Corradini, Walter Vogler. Measuring the performance of asynchronous systems with PAFAS. Theoretical Computer Science, 335(2-3):187-213, 2005. [doi]
@article{CorradiniV05, title = {Measuring the performance of asynchronous systems with PAFAS}, author = {Flavio Corradini and Walter Vogler}, year = {2005}, doi = {10.1016/j.tcs.2004.01.039}, url = {http://dx.doi.org/10.1016/j.tcs.2004.01.039}, researchr = {https://researchr.org/publication/CorradiniV05}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {335}, number = {2-3}, pages = {187-213}, }