Congruent weak bisimulation with dense real-time

DOI10.1016/0020-0190(93)90197-HzbMATH Open0770.68085MaRDI QIDQ1802058FDOQ1802058

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

Publication date: 8 August 1993

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

Recommendations

• On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
• A categorical view of timed weak bisimulation
• New up-to techniques for weak bisimulation
• Weak bisimulation for probabilistic timed automata
• Weak bisimulation as a congruence in MSOS
• scientific article; zbMATH DE number 1759615
• scientific article; zbMATH DE number 2219130
• scientific article; zbMATH DE number 92600
• scientific article; zbMATH DE number 1949613
• Automata, Languages and Programming

zbMATH Keywords

bisimulationreal-time process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Calculi for synchrony and asynchrony
• Real time process algebra
• Title not available (Why is that?)
• Behavioural abstraction in TCCS
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802058)