Weak Bisimulation Up to Elaboration
From MaRDI portal
Publication:5756594
DOI10.1007/11817949_26zbMath1151.68551OpenAlexW2126470406MaRDI QIDQ5756594
Publication date: 4 September 2007
Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817949_26
Related Items
Tower Induction and Up-to Techniques for CCS with Fixed Points, Complete Lattices and Up-To Techniques, Bisimulation and coinduction enhancements: a historical perspective, (Bi)simulations up-to characterise process semantics, Mechanized metatheory revisited