Content-Type: text/html Wikipedia: Ambient calculus

[Home]Ambient calculus

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project

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 | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Edit text of this page | View other revisions
Last edited June 15, 2001 4:29 am (diff)
Search: