Ambient calculus

Known as: AmbientCalculusOnline, Ambient (computation), AmbientCalculiOnline 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2017
0204019622017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Mobile Ambients ( MA) have acquired a fundamental role in modelling mobility in s ystems with mobile code and mobile devices, and… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Boxed Ambients are a variant of Mobile Ambients that result from dropping the open capability and introducing new primitives for… (More)
  • table I
  • table II
  • table III
  • table VII
  • table VIII
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The ambient calculus is a concurrent calculus where the unifying notion of ambient is used to model many different constructs for… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Boxed Ambientsare a variant of Mobile Ambients, that result from (i) dropping theopen capability and(ii) providing new primitives… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the eeect… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA): plain interferences, which are similar… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present a first distributed implementation of the CardelliGordon’s ambient calculus. We use Jocaml as an implementation… (More)
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
An ambient is a named cluster of processes and subambients, which moves as a group. The untyped ambient calculus is a process… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
There are two distinct areas of work in mobilit y: mobile computing, concerning computation that is carried out in mobile devices… (More)
Is this relevant?