Ambient calculus
id:
ambient-calculus-316-12274254
title:
Ambient calculus
text:
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, and mobile computation. 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 h
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Ambient_calculus
date created:
date modified:
2023-03-02T12:26:45Z
main entity:
{"identifier":"Q4741426","url":"https://www.wikidata.org/entity/Q4741426"}
image:
fields total:
13
integrity:
13