Pages that link to "Item:Q2747943"
From MaRDI portal
The following pages link to Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943):
Displaying 9 items.
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) (Q2842562) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Calculating Invariants as Coreflexive Bisimulations (Q5505417) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)