Mobile Ambients TCS Submission3.fm Page 1 Thursday, February 11, 1999, 3:52 pm 1
Abstract We introduce a calculus describing the movement of processes and devices, including …

Mobile ambients Page 1 Mobile Ambients Luca Cardelli* Digital Equipment Corporation
Systems Research Center Andrew D. Gordon* University of Cambridge Computer Laboratory …

We investigate the issue of designing a kernel programming language for mobile computing
and describe KLAIM, a language that supports a programming paradigm where processes …

The economy and flexibility of the pi-calculus make it an attractive object of theoretical study
and a clean basis for concurrent language design and implementation. However, such …

The Ambient Calculus is a process calculus where processes may reside within a hierarchy
of locations and modify it. The purpose of the calculus is to study mobility, which is seen as …

Milner, Parrow, and Walker's π-calculus [MPW92, Mil91] generalizes the channel-based
communication of CCS and its relatives by allowing channels to be passed as data along …

Process algebras can be enriched with localities that explicitly describe the distribution of
processes. Localities may represent physical machines, or more generally distribution units …

Semantic definitions of full-scale programming languages are rarely given, despite the many
potential benefits. Partly this is because the available metalanguages for expressing …

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

The dynamics of reactive systems, eg CCS, has often been defined using a labelled
transition system (LTS). More recently it has become natural in defining dynamics to use …