Abstractions for Mobile Computation

Abstract

Abstract. We discuss the difficulties caused by mobile computing and mobile computation over wide area networks. We propose a unified framework for overcoming such difficulties.

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing

“…Technological advances of both computers and telecommunication networks, and development of more efficient communication protocols are leading to an ever increasing integration of computing systems and to diffusion of "Global Computers" [9]. These are massive networked and dynamically reconfigurable infrastructures interconnecting heterogeneous, autonomous and mobile components, that can operate on the basis of incomplete information.…”

Subtyping and Matching for Mobile Objects

“…Plan of the paper In Section 2 we introduce the calculus of mobile objects, named MA ++ , based on the calculus of Mobile Ambients by [Car99,CG98]. Section 3 illustrates the expressive power of the calculus with several, diversified, examples.…”

A Practical Modelling Notation for Secure Distributed Computation

“…From the abstract models' viewpoint, some abstract models, such as CSP [4] and CCS [5], concern static connection and functional, concurrent and distributed computing and some of them, such as process calculi can be used to model processes with dynamic connection, such as pi-calculus [6]. Ambient Calculus [1] is another case of processes calculi. In Ambient Calculus, the mobile objects can be restricted within the domains' boundaries [6].…”

“…Once an ambient is opened, the internal processes can be authorized to execute as the local processes. See [1] for more detailed how ambients' names are used for authentication.…”

“…SJAN inherits the idea of ambient from Ambient Calculus [1] which will be addressed in Section 2. Thus, it can be used to model distributed computation which crossed enterprise boundaries.…”