2003 | ||
---|---|---|
3 | Flavio Corradini, Dino Di Cola: The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. Mathematical Structures in Computer Science 13(4): 619-656 (2003) | |
2001 | ||
2 | EE | Flavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001) |
2000 | ||
1 | EE | Flavio Corradini, Dino Di Cola: The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. Electr. Notes Theor. Comput. Sci. 39(1): (2000) |
1 | Flavio Corradini | [1] [2] [3] |