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

*** DO NOT EDIT THIS FILE ***