Mobile Ambient Synchronization

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.