Ambient calculus

Ambient calculus is a form of notation devised by Luca Cardelli[?] and Andrew D. Gordon in 1998 and used to describe and theorise about mobile systems. It is used to model interactions in such systems as the Internet.

Some more general categories that the calculus belongs to (or related with) are: process algebra[?], programming language, theoretical computer science[?], lambda calculus, type theory.

the ambient model is elegant and powerful. The three basic ambient primitives, namely in, out, and open are expressive enough to simulate name-passing channels in the pi-calculus[?]. As a theoretical model, it is very interesting to explore the various properties behind this small calculus. However, the synchronous nature of the three actions is the main difficulty in adopting this model as the programming language core for mobile and distributed computing.

External Links

• Collection of online resources for ambient calculi - http://xdguan.freezope.org/wiki/AmbientCalculiOnline