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. |
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.