Generating diagnostic information for behavioral preorders

DOI10.1007/S004460050010MaRDI QIDQ5137006zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

formal methodsprocess algebrafinite-state systemsverification algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1930738
• scientific article; zbMATH DE number 1538042
• Diagnostic Information for Realizability
• scientific article; zbMATH DE number 177261
• scientific article; zbMATH DE number 177532

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4060694 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 176729 (Why is no real title available?)
• scientific article; zbMATH DE number 177532 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Algebra of communicating processes with abstraction
• Algebraic laws for nondeterminism and concurrency
• Modal logics for communicating systems
• Observation equivalence as a testing equivalence
• Process Algebra
• Symbolic model checking: \(10^{20}\) states and beyond
• Testing equivalence as a bisimulation equivalence
• Testing equivalences for processes

Cited in

(3)

• scientific article; zbMATH DE number 67858 (Why is no real title available?)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
• scientific article; zbMATH DE number 1930738 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS

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)