PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
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


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional