Congruent weak bisimulation with dense real-time

DOI10.1016/0020-0190(93)90197-HMaRDI QIDQ1802058zbMATH OpenFDO

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)

zbMATH Keywords

bisimulationreal-time process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

Cites work

• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• Behavioural abstraction in TCCS
• Calculi for synchrony and asynchrony
• Real time process algebra

Cited in

(2)

• scientific article; zbMATH DE number 7333244 (Why is no real title available?)
• scientific article; zbMATH DE number 497653 (Why is no real title available?)

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)