Graded monads and behavioural equivalence games
type: Item
instance of: scholarly article
title: Graded monads and behavioural equivalence games
DOI: 10.1145/3531130.3533374
author: Chase Ford
author: Stefan Milius
author: Lutz Schröder
author: Harsh Beohar
author: Barbara König
publication date: 2024-12-06T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 18C15
zbMATH DE Number: 7954876
zbMATH Keywords: behavioural equivalence
zbMATH Keywords: games
zbMATH Keywords: graded monads
zbMATH Keywords: linear-time/branching-time spectrum
zbMATH Keywords: semantics
MaRDI profile type: Publication
cites work: Q5144676
cites work: Relating structure and power: comonadic semantics for computational resources (extended abstract)
cites work: A final coalgebra theorem
cites work: Q4693062
cites work: On Finitary Functors
cites work: Q4293501
cites work: On coalgebras over algebras
cites work: Q4683862
cites work: Q4499313
cites work: Up-To Techniques for Weighted Systems
cites work: Checking NFA equivalence with bisimulations up to congruence
cites work: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
cites work: Q5875398
cites work: The quantitative linear-time-branching-time spectrum
cites work: Towards a Formal Theory of Graded Monads
cites work: Simulations and Bisimulations for Coalgebraic Modal Logics
cites work: Generic Trace Semantics via Coinduction
cites work: Bisimulation verification using the up to techniques
cites work: Steps and traces
cites work: Trace semantics via determinization
cites work: Q5419889
cites work: Parametric effect monads and semantics of effect systems
cites work: Coalgebraic Trace Semantics via Forgetful Logics
cites work: (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
cites work: Quantitative Algebraic Reasoning
cites work: The parametric continuation monad
cites work: Generic Trace Semantics and Graded Monads.
cites work: Generalizing determinization from automata to coalgebras
cites work: Graded monads and rings of polynomials
cites work: Bisimulation, modal logic and model checking games
cites work: Q5089293
cites work: On the final sequence of a finitary set functor
description: scientific article; zbMATH DE number 7954876