Pages that link to "Item:Q2849887"
From MaRDI portal
The following pages link to Weak bisimulation for action-type coalgebras (extended abstract) (Q2849887):
Displaying 11 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Towards weak bisimulation for coalgebras (Q2841308) (← links)
- A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561) (← links)
- Modal logics for observation equivalences (Q2843735) (← links)
- Coalgebraising subsequential transducers (Q2873665) (← links)
- An exercise on transition systems (Q2873687) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Q5167838) (← links)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963) (← links)