sML/NJ with mutual exclusion primitivessimilar to those in Modula-2+ and Mesa. Written by Greg Morrisett s@cs.cmu.edu>. Lightweight threads are created using fork. They are pre-emptively scheduled and communicate via shared memory which can be protected by a "mutex" (monitor). Implementations for Motorola 68020, sPARC and MIPs and VAX- and MIPs-based multiprocessors. ["Adding Threads to standard ML", E. Cooper et al, CMU-Cs-90-186, CMU Dec 1990].