Congruent weak bisimulation with dense real-time

DOI10.1016/0020-0190(93)90197-HzbMath0770.68085MaRDI QIDQ1802058

Ming Fang, Chris Ho-Stuart, H. S. M. Zedan

Publication date: 8 August 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

bisimulationreal-time process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Calculi for synchrony and asynchrony
• Real time process algebra
• Behavioural abstraction in TCCS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Congruent weak bisimulation with dense real-time