The following pages link to D. Di Cola (Q198020):
Displaying 3 items.
- 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. (Q4461216) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- On testing urgency through laziness over processes with durational actions (Q5941201) (← links)