SRC Technical Note 1997-013

Mobile Ambient Synchronization

Luca Cardelli

This note describes a non-distributed implementation of the basic operations of the Ambient Calculus, which is a calculus for mobile computing developed together with Andrew Gordon. The implementation uses standard shared-memory concurrent programming technology in the form provided by Java. The presentation is self-contained, but previous familiarity with the Ambient Calculus is useful for motivation and intuitions.

Back to the SRC Technical Notes main page.

• PostScript compressed with UNIX compress -- 122 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 66 Kbytes
  
• PostScript compressed with ZIP -- 66 Kbytes
  
• PostScript -- 496 Kbytes
  
• Portable Document Format (PDF) -- 176 Kbytes