Pages that link to "Item:Q1944040"

The following pages link to Resource bisimilarity and graded bisimilarity coincide (Q1944040):

Displaying 3 items.

• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
• The logic of secrets and the interpolation rule (Q6133700) (← links)