A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.

Joost-Pieter Katoen Rom Langerak Ed Brinksma Diego Latella Tommaso Bolognesi A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. 189-216 1998 12 Formal Methods in System Design 2 db/journals/fmsd/fmsd12.html#KatoenLBLB98