ambient calculus

Ambient calculus is a form of notation devised by Luca Cardelli and Andrew D. Gordon in 1998 and used to describe and theorise about mobile systems. It is used to model interactions in such systems as the Internet. Some more general categories that the calculus belongs to (or related with) are: process calculi, process algebra, programming language, theoretical computer science, lambda calculus, type theory. The three basic ambient primitives, namely in, out, and open are expressive enough to simulate name-passing channels in the pi-calculus. On the other hand, the synchronous nature of the three actions is a difficulty in adopting this model as the programming language core for mobile and distributed computing.

External link

Collection of online resources for ambient calculi - http://xdguan.freezope.org/wiki/AmbientCalculiOnline

<< Previous

Word Browser

Next >>

angst
anxiety
a. a. milne
addiction
axiom
alpha (letter)
alvin toffler
the amazing spider man
archie
am
antigua and barbuda

a man for all seasons
azincourt
albert speer
alliaceae
asteraceae
apiaceae
axon
aramaic alphabet
arguments for the existence of god
as we may think
american shot

acute disseminated encephalomyelitis
ataxia
abdul alhazred
ada lovelace
august derleth
alps
a priori and a posteriori knowledge
albert camus
agatha christie
the plague
applied ethics

adolf eichmann
absolute value
arches national park
analog
arecales
and then there were none
hercule poirot
miss marple
april
august
aaron