Concurrent Euclid
Concurrent Euclid
(language, parallel)Concurrent Euclid features separate compilation, modules,processes and monitors, signal and wait on condition variables, 'converters' to defeat strong type checking,absolute addresses. All procedures and functions arere-entrant. TUNIS (a Unix-like operating system) iswritten 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].