On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS

DOI10.1016/j.entcs.2009.06.010zbMath1291.68275OpenAlexW1576561240MaRDI QIDQ5170663

Roberto M. Amadio

Publication date: 23 July 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.010

zbMATH Keywords

convergencebisimulationtimed CCS

Mathematics Subject Classification ID

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

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation and divergence
• The SL synchronous language, revisited
• Calculi for synchrony and asynchrony
• The Esterel synchronous programming language: Design, semantics, implementation
• The algebra of timed processes, ATP: Theory and application
• On reduction-based process semantics
• A process algebra for timed systems
• A synchronous \(\pi\)-calculus
• Barbed bisimulation
• Semantic Barbs and Biorthogonality