Dino Di Cola

According to our database, Dino Di Cola authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

On testing urgency through laziness over processes with durational actions.

Flavio Corradini, Dino Di Cola

Theor. Comput. Sci., 2001

2000

The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.

Flavio Corradini, Dino Di Cola

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000