Pages that link to "Item:Q2847807"
From MaRDI portal
The following pages link to On logics for coalgebraic simulation (Q2847807):
Displaying 4 items.
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- A coalgebraic decision procedure for NetKAT (Q2819821) (← links)
- On expressivity and compositionality in logics for coalgebras (Q2843724) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)