Pages that link to "Item:Q1944040"
From MaRDI portal
The following pages link to Resource bisimilarity and graded bisimilarity coincide (Q1944040):
Displaying 4 items.
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- The logic of secrets and the interpolation rule (Q6133700) (← links)
