The following pages link to (Q4738174):
Displaying 6 items.
- Model checking mobile stochastic logic (Q995465) (← links)
- On mobile agent verifiable problems (Q1753994) (← links)
- Causality for debugging mobile agents (Q1806172) (← links)
- Mark, a reasoning kit for mobility (Q1857293) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)