Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,365,853 papers from all fields of science
Search
Sign In
Create Free Account
Ambient calculus
Known as:
AmbientCalculusOnline
, Ambient (computation)
, AmbientCalculiOnline
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
API-Calculus
Actor model and process calculi
Andrew D. Gordon
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Low-Resistivity Long-Length Horizontal Carbon Nanotube Bundles for Interconnect Applications—Part II: Characterization
Hong Li
,
W. Liu
,
A. Cassell
,
F. Kreupl
,
K. Banerjee
IEEE Transactions on Electron Devices
2013
Corpus ID: 18083578
Due to the enormous challenges of fabricating long horizontally aligned carbon nanotube (HACNT) bundle interconnects, there…
Expand
2011
2011
Structural integrity monitoring for dependability
S. Arangio
,
Franco Bontempi
,
M. Ciampoli
2011
Corpus ID: 109513904
Dependability of a structural system is a comprehensive concept that – by definition – describes the quality of the system as its…
Expand
2008
2008
Role-based access control for boxed ambients
Adriana B. Compagnoni
,
Elsa L. Gunter
,
P. Bidinger
Theoretical Computer Science
2008
Corpus ID: 8089826
2004
2004
Ambient agoras: InfoRiver, SIAM, Hello.Wall
Thorsten Prante
,
Richard Stenzel
,
C. Röcker
,
Norbert A. Streitz
,
C. Magerkurth
CHI EA '04
2004
Corpus ID: 11275031
This demonstration reports results from the EU-funded project Ambient Agoras, investigating future applications of ubiquitous and…
Expand
2002
2002
On the Expressiveness of Movement in Pure Mobile Ambients
N. Busi
,
G. Zavattaro
F-WAN@ICALP
2002
Corpus ID: 44969271
2001
2001
Typing evolving ambients
Xudong Guan
,
Yiling Yang
,
Jinyuan You
Information Processing Letters
2001
Corpus ID: 1856845
Review
2000
Review
2000
A Commitment Relation for the Ambient Calculus
L. Cardelli
,
A. Gordon
2000
Corpus ID: 118357775
We present a commitment relation, a kind of labeled transition system, for the ambient calculus. This note is an extract from an…
Expand
Highly Cited
1999
Highly Cited
1999
Sulphur isotope compositions of sedimentary phosphorites from the basal Cambrian of China: implications for Neoproterozoic-Cambrian biogeochemical cycling
G. Shields
,
H. Strauss
,
S. Howe
,
H. Siegmund
Journal of the Geological Society
1999
Corpus ID: 20021681
The Meishucun Section (Yunnan Province, South China) is considered to be an important Precambrian–Cambrian boundary section…
Expand
1986
1986
Blood Flow in Acute Hypoxia in a Cephalopod
M. Wells
,
J. Wells
1986
Corpus ID: 746164
This paper reports a method of measuring blood flow in the dorsal aorta of Octopus vulgaris using fixed magnet flow meters. Blood…
Expand
1969
1969
The failure of oxygen transport in a fish at low levels of ambient oxygen
G. Grigg
1969
Corpus ID: 21488933
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required