scientific article; zbMATH DE number 6864542

DOI10.23638/LMCS-14(1:19)2018zbMath1459.68137arXiv1612.05002MaRDI QIDQ4637688

Thorsten Wißmann, Alexandra Silva, Barbara König, Sebastian Küpper, Harsh Beohar

Publication date: 25 April 2018

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

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

zbMATH Keywords

coalgebrasbehavioural equivalenceKleisli categoriesconditional transition systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The coinductive resumption monad
• On the greatest fixed point of a set functor
• Notions of computation and monads
• Sheaves in geometry and logic: a first introduction to topos theory
• Universal coalgebra: A theory of systems
• A Coalgebraic Perspective on Minimization and Determinization
• A coalgebraic view on decorated traces
• Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
• Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
• LATTICED SIMULATION RELATIONS AND GAMES
• A category-theoretic account of program modules
• Generic Trace Semantics via Coinduction
• Lifting theorems for Kleisli categories