scientific article; zbMATH DE number 7730634

DOI10.4230/lipics.concur.2021.32arXiv2105.00669MaRDI QIDQ6176116

Thorsten Wißmann, Stefan Milius, Lutz Schröder

Publication date: 21 August 2023

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

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

zbMATH Keywords

modal logiccoalgebrabisimulationpartition refinementdistinguishing formulae

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence, Unnamed Item