| Katoen J., Latella D., Langerak R., Brinksma E., Bolognesi T. A consistent causality-based and interleaved view on a timed process algebra including timeouts. In: Third AMAST Workshop on Real-Time Systems, Models, Properties and Control (Salt-Lake City, Utah (USA), 6-8 marzo 1996). Proceedings, Dan Ionescu (ed.). Univ. Ottawa, Dept. of Electrical Engineering, 1996. |
| Abstract (English) |
No abstract available | |
| Subject | ||
 1)
Download Document PDF |
Open access Restricted 
Private