The following pages link to (Q4501684):
Displaying 5 items.
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- On CTL* with Graded Path Modalities (Q3460061) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)