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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| mobile ambients canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T9566831 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: mobile ambients Context triple: [π-calculus, influenced, mobile ambients]
-
A.
Mobile
Mobile is a small coastal community in Newfoundland and Labrador, Canada, located on the Avalon Peninsula south of St. John’s.
-
B.
Mobile
Mobile is a historic port city on Alabama’s Gulf Coast known for its shipbuilding, cultural heritage, and hosting one of the oldest Mardi Gras celebrations in the United States.
-
C.
Mobile Downtown Airport
Mobile Downtown Airport is a public airport serving the city of Mobile and the surrounding region in Alabama, primarily handling general aviation and some commercial and cargo operations.
-
D.
Mobile metropolitan area
The Mobile metropolitan area is a regional urban and economic hub in southwestern Alabama centered on the city of Mobile and its surrounding counties.
-
E.
Mobile Base System
The Mobile Base System is a movable work platform on the International Space Station that allows the Canadarm2 robotic arm and astronauts to travel along the station’s truss for assembly, maintenance, and payload handling.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: mobile ambients Target entity description: 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.
-
A.
Mobile
Mobile is a small coastal community in Newfoundland and Labrador, Canada, located on the Avalon Peninsula south of St. John’s.
-
B.
Mobile
Mobile is a historic port city on Alabama’s Gulf Coast known for its shipbuilding, cultural heritage, and hosting one of the oldest Mardi Gras celebrations in the United States.
-
C.
Mobile Downtown Airport
Mobile Downtown Airport is a public airport serving the city of Mobile and the surrounding region in Alabama, primarily handling general aviation and some commercial and cargo operations.
-
D.
Mobile metropolitan area
The Mobile metropolitan area is a regional urban and economic hub in southwestern Alabama centered on the city of Mobile and its surrounding counties.
-
E.
Mobile Base System
The Mobile Base System is a movable work platform on the International Space Station that allows the Canadarm2 robotic arm and astronauts to travel along the station’s truss for assembly, maintenance, and payload handling.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: mobile ambients Description of subject: 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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.