Ambient calculus

HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Disclaimers | Privacy policy

A form of notation devised by Luca Cardelli and Andy Gordon in 1998 and used to describe and theorise about mobile systems. It is useful to model interactions such systems, as take place on the internet.

See AmbientCalculiOnline for more information.