TITLE     : Performance analysis and true concurrency semantics
AUTHOR(S) : Brinksma E, Katoen Jp, Langerak R, Latella D
TYPE      : Contribution to book
YEAR      : 1994
CODE      : 190746

*** DO NOT EDIT THIS FILE ***