1998
DOI: 10.1109/32.666824
|View full text |Cite
|
Sign up to set email alerts
|

Compositional programming abstractions for mobile computing

Abstract: Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing reliable systems for managing reconfiguration and disconnection of components. Design of such systems requires tools and techniques appropriate to the task. Many formal models of computation, including UNITY, are not adequate for expressing reconfiguration and disconnection and are therefore inappropriate vehicles for investigating the impact of mobility on the… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
52
0

Year Published

1999
1999
2014
2014

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 70 publications
(52 citation statements)
references
References 20 publications
0
52
0
Order By: Relevance
“…Several papers have explored theoretical models for reasoning about mobile agents, for example, Mobile UNITY [13], Join calculus [8], Ambient calculus [6], Distributed π-calculus [15], and Nomadic π-calculus [22]. Mobile UNITY is an extension of UNITY, which is an existing formal model for specifying distributed systems, with the expressiveness of moving components, including mobile computers and mobile software.…”
Section: Related Workmentioning
confidence: 99%
“…Several papers have explored theoretical models for reasoning about mobile agents, for example, Mobile UNITY [13], Join calculus [8], Ambient calculus [6], Distributed π-calculus [15], and Nomadic π-calculus [22]. Mobile UNITY is an extension of UNITY, which is an existing formal model for specifying distributed systems, with the expressiveness of moving components, including mobile computers and mobile software.…”
Section: Related Workmentioning
confidence: 99%
“…Also, there have been some theoretical models developed for specifying mobile agents, for example, Mobile UNITY [7] and Ambient calculus [3]. Mobile UNITY can specify control flows, variable, and conditional assignment statements at programs but cannot extract and reason about the itineraries of mobile components.…”
Section: Related Workmentioning
confidence: 99%
“…Ambient calculus [12], Klaim [18], and MobileUnity [38] to cite a few. Roughly speaking, locations fully identify the network environment of a component.…”
Section: Network Awarenessmentioning
confidence: 99%
“…Other foundational models adopt a logical style toward the analysis of mobility. MobileUnity [38] and MobAdtl [22] are program logics specifically designed to specify and reason about mobile systems exploiting a Unity-like proof system. Spatial logic [11,10] allows one to specify properties on both the spatial dimension and the temporal dimension of WAN applications.…”
Section: Mobilitymentioning
confidence: 99%