Dascal, ShlomitThe document provides the extended-C version needed to write high-level for the Explicit Multi-Threading (XMT) bridging models. (Also cross-referenced as UMIACS-TR-2000-74)en-USTechnical Report