Concurrent Euclid - J.R. Cordy & R.C. Holt, U Toronto, 1980. Subset of
Euclid ("Simple Euclid") with concurrent extensions. Separate compilation,
modules, processes and monitors, signal and wait on condition variables.
Converters to defeat strong type checking, absolute addresses. All
procedures and functions are re-entrant. TUNIS (a Unix-like OS) is written
in Concurrent Euclid. "Specification of Concurrent Euclid", J.R. Cordy &
R.C. Holt, Reports CSRI-115 & CSRI-133, CSRI, U Toronto, Jul 1980, rev. Aug
1981. "Concurrent Euclid, The Unix System, and Tunis," R.C. Holt, A-W,
1983.
Comments, Experience, Additions
Next Language: C+@