On the coarsest congruence within global-clock-bounded equivalence

DOI10.1016/S0304-3975(97)00237-5zbMath0902.68014MaRDI QIDQ1129264

Flavio Corradini

Publication date: 13 August 1998

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

zbMATH Keywords

performance evaluationtimed process algebrastimed bisimulations

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites Work

• Unnamed Item
• A theory of processes with durational actions
• Timing and causality in process algebra
• Performance preorder: Ordering processes with respect to speed
• Dynamic matrices and the cost analysis of concurrent programs

This page was built for publication: On the coarsest congruence within global-clock-bounded equivalence