10 search results - page 2 / 2 » A taxonomy of process calculi for distribution and mobility |
86
Voted
ROOM
2000
14 years 10 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
107
Voted
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
COORDINATION
2008
Springer
14 years 11 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
168
click to vote
POPL
2001
ACM
15 years 9 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...