ambients

ambient-engine

Orchestrator on top of the Typed Ambient Calculus with Resources

documentation

Cloud / IaaS / Ambient based documentation

formal-ambient