Generating diagnostic information for behavioral preorders
DOI10.1007/S004460050010zbMATH Open1448.68334OpenAlexW2002054615MaRDI QIDQ5137006FDOQ5137006
Authors: Ufuk Celikkan, Rance Cleaveland 
Publication date: 30 November 2020
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s004460050010
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Symbolic model checking: \(10^{20}\) states and beyond
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra of communicating processes with abstraction
- Testing equivalences for processes
- Observation equivalence as a testing equivalence
- A Theory of Communicating Sequential Processes
- Process Algebra
- Title not available (Why is that?)
- Testing equivalence as a bisimulation equivalence
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus
- Title not available (Why is that?)
- Modal logics for communicating systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
Uses Software
This page was built for publication: Generating diagnostic information for behavioral preorders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137006)
