Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Due to the enormous challenges of fabricating long horizontally aligned carbon nanotube (HACNT) bundle interconnects, there… 
2011
2011
Dependability of a structural system is a comprehensive concept that – by definition – describes the quality of the system as its… 
2004
2004
This demonstration reports results from the EU-funded project Ambient Agoras, investigating future applications of ubiquitous and… 
Review
2000
Review
2000
We present a commitment relation, a kind of labeled transition system, for the ambient calculus. This note is an extract from an… 
Highly Cited
1999
Highly Cited
1999
The Meishucun Section (Yunnan Province, South China) is considered to be an important Precambrian–Cambrian boundary section… 
1986
1986
This paper reports a method of measuring blood flow in the dorsal aorta of Octopus vulgaris using fixed magnet flow meters. Blood…