Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas

DOI10.1007/978-3-030-57201-3_8OpenAlexW3082953669MaRDI QIDQ2229232

Barbara König, Christina Mika-Michalski, Lutz Schröder

Publication date: 22 February 2021

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

zbMATH Keywords

coalgebrabisimulation gamesdistinguishing formulasgeneric partition refinement

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ Unnamed Item ⋮ A game for linear-time-branching-time spectroscopy

This page was built for publication: Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas