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.
![[Home]](wikipedia.png)