scientific article; zbMATH DE number 6864542

DOI10.23638/LMCS-14(1:19)2018MaRDI QIDQ4637688zbMATH OpenFDO

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

Publication date 25 April 2018

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

zbMATH Keywords

behavioural equivalencecoalgebrasconditional transition systemsKleisli categories

Mathematics Subject Classification ID

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

Recommendations

• A coalgebraic presentation of structured transition systems
• Coalgebraic trace semantics for continuous probabilistic transition systems
• Coalgebras for fuzzy transition systems
• scientific article; zbMATH DE number 7407797
• Coalgebraic bisimulation-up-to
• Coalgebraic up-to techniques
• Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
• scientific article; zbMATH DE number 1231625
• A coalgebraic theory of reactive systems
• Bisimulation for probabilistic transition systems: a coalgebraic approach

Cites work

• A category-theoretic account of program modules
• A Coalgebraic Perspective on Minimization and Determinization
• A coalgebraic view on decorated traces
• Bisimulation of labelled state-to-function transition systems coalgebraically
• Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1497803 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• Latticed simulation relations and games
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• On path-based coalgebras and weak notions of bisimulation
• On the greatest fixed point of a set functor
• Sheaves in geometry and logic: a first introduction to topos theory
• The coinductive resumption monad
• Universal coalgebra: A theory of systems

Cited in

(4)

• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• scientific article; zbMATH DE number 7407797 (Why is no real title available?)
• On Kleisli liftings and decorated trace semantics
• Correspondences between codensity and coupling-based liftings, a practical approach

This page was built for publication:

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