A game for linear-time-branching-time spectroscopy

DOI10.1007/978-3-030-72016-2_1zbMath1467.68129arXiv2109.15295OpenAlexW3138691203MaRDI QIDQ2044187

Uwe Nestmann, Benjamin Bisping

Publication date: 4 August 2021

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

zbMATH Keywords

bisimulation gamesdistinguishing formulasprocess equivalence spectrum

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Unnamed Item

Cites Work

• Finite model theory and its applications.
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A game for linear-time-branching-time spectroscopy