The following pages link to A modal logic for mobile agents (Q5277692):
Displaying 8 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Modal logics for mobile processes (Q685408) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Stabilizing mobile philosophers (Q1041771) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- (Q4222877) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- (Q5692351) (← links)