TITLE     : A consistent causality-based view on a timed process algebra
AUTHOR(S) : Latella D, Bolognesi T, Katoen J, Langerak R, Brinksma E
TYPE      : Other
YEAR      : 1986
CODE      : 419750

*** DO NOT EDIT THIS FILE ***