Dino Di Cola

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 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 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): 47-64 (2000)

	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		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		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): 47-64 (2000)

Coauthor Index

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page