Mobile Ambient Synchronization
Luca Cardelli · 1997
This note describes a non-distributed implementation of the basic operations of the ambient calculus [1]. The implementation uses standard shared-memory concurrent programming technology (threads, mutexes, conditions), in the form provided by Java [2]. The presentation is selfcontained, but previous familiarity with the ambient calculus is useful for motivation and intuitions.