TITLE     : A stochastic causality-based process algebra
AUTHOR(S) : Brinksma E, Katoen Jp, Langerak R, Latella D
TYPE      : Journal article
YEAR      : 1995
CODE      : 190056

*** DO NOT EDIT THIS FILE ***