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)

Related topics

Related topics

9 relations
API-CalculusActor model and process calculiAndrew D. GordonComputer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
CONTINUOUS AMMONIA EMISSION MEASUREMENTS FROM A COMMERCIAL BEEF FEEDYARD IN TEXAS
Ammonia emissions from cattle feedlots pose the potential to react with other compounds such as oxides of nitrogen and sulfur… 
2010
2010
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
2004
2004
Ambient agoras: InfoRiver, SIAM, Hello.Wall
This demonstration reports results from the EU-funded project Ambient Agoras, investigating future applications of ubiquitous and… 
Highly Cited
2002
Highly Cited
2002
Validating firewalls using flow logics
2002
2002
Flow logic for Dolev-Yao secrecy in cryptographic processes
Review
2001
Review
2001
Security for Mobility
We show how to use static analysis to provide information about security issues related to mobility. First the syntax and… 
2001
2001
An Abstract Interpretation Framework for Analysing Mobile Ambients
We introduce an abstract interpretation framework for Mobile Ambients, based on a new fixed-point semantics. Then, we derive… 
2001
2001
Nitrogen uptake kinetics in the Ross Sea, Antarctica
Highly Cited
1999
Highly Cited
1999
Sulphur isotope compositions of sedimentary phosphorites from the basal Cambrian of China: implications for Neoproterozoic-Cambrian biogeochemical cycling
The Meishucun Section (Yunnan Province, South China) is considered to be an important Precambrian–Cambrian boundary section… 
1996
1996
Effects of nutrient supply (NPK) on spring wheat response to elevated atmosperic CO2
The effects of increased atmospheric CO2 on crop growth and dry matter allocation may change if nutrient supply becomes… 
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)