D. Di Cola

Available identifiers

zbMath Open di-cola.dinoMaRDI QIDQ198020

List of research outcomes

Publication	Date of Publication	Type
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes	2013-04-26	Paper
The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components.	2004-03-30	Paper
On testing urgency through laziness over processes with durational actions	2001-08-20	Paper

Research outcomes over time

This page was built for person: D. Di Cola