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.