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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Explainability of probabilistic bisimilarity distances for labelled Markov chains
• A game for linear-time-branching-time spectroscopy
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
• Proving behavioural apartness

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229232)