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 |
![]() |


