The following pages link to (Q4733384):
Displayed 5 items.
- A logic of intentions and beliefs (Q689079) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- (Q2844928) (← links)