Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are… Expand
  • table 1
  • table 2
  • table 5
  • table 4
  • table 7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper presents the results of the first national study of air quality in Britain to consider the implications of its… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A fundamental issue in theoretical computer science is that of establishing unambiguous formal criteria for algorithmic output… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open capability and (ii) providing new… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This chapter introduces a calculus describing the movement of processes and devices, including movement through administrative… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In the recent years, many formalizations of security properties have been proposed, most of which are based on different… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract Subjects were exposed to familiar and unfamiliar brand names in either a pleasantly scented or unscented environment. A… Expand
  • table 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Java has demonstrated the utility of type systems for mobile code, and in particular their use and implications for security… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
ANTHROPOGENIC semi-volatile organic compounds such as polycyclic aromatic hydrocarbons (PAHs) are highly lipophilic (which makes… Expand
Is this relevant?