The following pages link to (Q4400803):
Displaying 5 items.
- Modelling concurrent interactions (Q820134) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- A logical approach to cooperative information systems (Q4948024) (← links)
- On Obligations (Q5862662) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)