Loading...
Please wait, while we are loading the content...
Similar Documents
Anytime, Anywhere Modal Logics for Mobile Ambients (Extended Abstract)
| Content Provider | Semantic Scholar |
|---|---|
| Author | Cardelli, Luca Gordon, Andrew Donald |
| Copyright Year | 2000 |
| Abstract | The ambient calculus is a process calculus where processes may reside within a hierarchy of locations. Its purpose is to study mobility. To this end, processes can move through the location hierarchy and modify it. Mobility is seen as the change of spatial configurations over time: in order to describe properties of mobile computations we devise a modal logic, solidly based on the ambient calculus, that can talk about space as well as time. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://research.microsoft.com/Users/luca/Papers/AnytimeAnywhereExtendedAbstract.US.ps |
| Alternate Webpage(s) | http://research.microsoft.com/Users/luca/Papers/AnytimeAnywhereExtendedAbstract.A4.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |