Brinksma E, Katoen Jp, Langerak R, Latella D
Performance analysis True concurrency semantics
An abstract is not available.
@inproceedings{oai:it.cnr:prodotti:190782, title = {Performance analysis and true concurrency semantics (extended abstract)}, author = {Brinksma E and Katoen Jp and Langerak R and Latella D}, year = {1994} }