Coalgebraic weak bisimulation for action-type systems
From MaRDI portal
Publication:4621137
zbMATH Open1424.68109MaRDI QIDQ4621137FDOQ4621137
Authors: Ana Sokolova, Erik de Vink, Harald Woracek 
Publication date: 8 February 2019
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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)
