mobile ambients
E807608
Mobile ambients is a process calculus for describing and analyzing mobile computation where processes and their locations can move and interact within a hierarchical, nested structure.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Mobile Ambients | 0 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
formal model of computation
ⓘ
process calculus ⓘ |
| coreOperator |
in
ⓘ
open ⓘ out ⓘ parallel composition ⓘ restriction ⓘ |
| designedFor |
describing movement of processes
ⓘ
modeling mobile computation ⓘ reasoning about computation in changing locations ⓘ |
| field |
concurrency theory
ⓘ
distributed computing theory ⓘ theoretical computer science ⓘ |
| hasExtension |
boxed ambients
ⓘ
safe ambients ⓘ typed Mobile Ambients ⓘ |
| hasKeyConcept |
ambient
ⓘ
capability ⓘ communication ⓘ hierarchical locations ⓘ mobility ⓘ name restriction ⓘ nested structure ⓘ process interaction ⓘ reduction semantics ⓘ structural congruence ⓘ synchronization ⓘ |
| hasProperty |
supports dynamic reconfiguration of system structure
ⓘ
supports hierarchical nesting of locations ⓘ supports local communication within ambients ⓘ supports movement of ambients ⓘ |
| hasSemanticStyle | operational semantics ⓘ |
| inspiredBy | pi-calculus NERFINISHED ⓘ |
| introducedBy |
Andrew D. Gordon
NERFINISHED
ⓘ
Luca Cardelli NERFINISHED ⓘ |
| introducedIn | "Mobile Ambients" (paper) NERFINISHED ⓘ |
| models |
code mobility
ⓘ
distributed systems with changing topology ⓘ mobile agents ⓘ movement of computation between sites ⓘ |
| publicationYear | 1998 ⓘ |
| publishedIn | FoSSaCS 1998 NERFINISHED ⓘ |
| relatedTo |
ambient calculus
NERFINISHED
ⓘ
mobile process calculi ⓘ pi-calculus NERFINISHED ⓘ seal calculus ⓘ |
| usedFor |
access control modeling
ⓘ
reasoning about resource boundaries ⓘ security protocol analysis ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.