Ambient Calculus

In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility. Here mobility means both computation carried out on mobile devices (i.e. networks that have a dynamic topology), and mobile computation (i.e. executable code that is able to move around the network). The ambient calculus provides a unified framework for modeling both kinds of mobility. It is used to model interactions in such concurrent systems as the Internet.

Since its inception, the ambient calculus has grown into a family of closely related ambient calculi.

Other articles related to "ambient calculus, ambients, ambient":

Ambient Calculus - Informal Description - Operations
... the movement of ambients ... local to) an ambient is anonymous and asynchronous ... Output actions release names or capabilities into the surrounding ambient ...

Famous quotes containing the word calculus:

    I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.
    Judith Johnson Sherwin (b. 1936)