Coalgebraic weak bisimulation for action-type systems

MaRDI QIDQ4621137zbMATH OpenFDO

Authors Ana Sokolova, Erik de Vink, Harald Woracek

Publication date 8 February 2019

zbMATH Keywords

coalgebrasweak bisimulationgenerative probabilistic transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Recommendations

• Weak bisimulation for action-type coalgebras (extended abstract)
• Weak bisimulations for coalgebras over ordered functors
• Coalgebraic Weak Bisimulation from Recursive Equations over Monads
• A syntactical approach to weak (bi-)simulation for coalgebras
• Weak bisimulation for coalgebras over order enriched monads

Cited in

(15)

• Weak bisimulation for action-type coalgebras (extended abstract)
• Probabilistic mediator: a coalgebraic perspective
• On path-based coalgebras and weak notions of bisimulation
• Bisimulation as a logical relation
• Weak bisimulation for coalgebras over order enriched monads
• scientific article; zbMATH DE number 7471684 (Why is no real title available?)
• On coalgebras with internal moves
• Towards weak bisimulation for coalgebras
• A syntactical approach to weak (bi-)simulation for coalgebras
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• scientific article; zbMATH DE number 7407787 (Why is no real title available?)
• Coalgebraic Weak Bisimulation from Recursive Equations over Monads
• Behavioural equivalences for coalgebras with unobservable moves
• Weak bisimulations for coalgebras over ordered functors
• A general account of coinduction up-to

This page was built for publication: Coalgebraic weak bisimulation for action-type systems

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