A game characterization for contrasimilarity

DOI10.4204/EPTCS.339.5MaRDI QIDQ6643746

Benjamin Bisping, Luisa Montanari

Publication date: 26 November 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Impossible futures and determinism
• A hierarchy of equivalences for asynchronous calculi
• A game for linear-time-branching-time spectroscopy
• Coupled similarity: the first 32 years
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Certifiably Sound Parallelizing Transformations
• A Context-Free Process as a Pushdown Automaton
• Bisimulation, modal logic and model checking games

Related Items (1)

Characterizing contrasimilarity through games, modal logic, and complexity

This page was built for publication: A game characterization for contrasimilarity

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