On testing urgency through laziness over processes with durational actions

DOI10.1016/S0304-3975(00)00026-8zbMath0974.68132MaRDI QIDQ5941201

D. Di Cola, Flavio Corradini

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

expressivitytime-critical systemstimed process algebrastimed testing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes ⋮ On the semantics of durational actions

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of processes with durational actions
• On performance congruences for process algebras
• Timing and causality in process algebra
• Dynamic matrices and the cost analysis of concurrent programs

This page was built for publication: On testing urgency through laziness over processes with durational actions