[Home]Ambient calculus

HomePage | Recent Changes | Preferences
Difference (from prior minor revision) (no other diffs)

Changed: 1,2c1
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.
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.

HomePage | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited September 14, 2001 12:02 am by BenBaker (diff)
Search: