scientific article; zbMATH DE number 7577583

MaRDI QIDQ5101352

Uwe Nestmann, David N. Jansen, Benjamin Bisping

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2109.15295

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distinguishing formulasprocess equivalence spectrumbisimulation game

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items

When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus

Uses Software

• GitHub

Cites Work

• Model-checking process equivalences
• Finite model theory and its applications.
• Simulation distances
• Revivals, stuckness and the hierarchy of CSP models
• A game for linear-time-branching-time spectroscopy
• Congruence from the operator's point of view. Syntactic requirements on modal characterizations
• Coupled similarity: the first 32 years
• Characteristic invariants in Hennessy-Milner logic
• Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas
• Testing equivalence as a bisimulation equivalence
• Minimal Separating Sequences for All Pairs of States
• Unifying the Linear Time-Branching Time Spectrum of Process Semantics
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item