TITLE     : A consistent causality-based and interleaved view on a timed process algebra including timeouts
AUTHOR(S) : Latella D, Langerak R, Brinksma E, Bolognesi T, Katoen J
TYPE      : Conference article
YEAR      : 1996
CODE      : 410118

*** DO NOT EDIT THIS FILE ***