Pages that link to "Item:Q5902544"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902544):
Displaying 8 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- A calculus of kells (Q2844040) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458) (← links)
- Global Computing (Q5464841) (← links)