Towards a behavioural theory of access and mobility control in distributed systems
We define a typed bisimulation equivalence for the language Dpi, a distributed version of the pi-calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, which can be implemented in Dpi using a novel form of dynamic capability typ...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
2004.
|
| Subjects: | |
| Online Access: | Get fulltext |