Concurrent Euclid

James R. Cordy & Richard C. Holt, University of Toronto, 1980

A subset of Euclid ("Simple Euclid") with concurrent extensions. It provides 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 operating system) is written in Concurrent Euclid.

"Specification of Concurrent Euclid", James R. Cordy & Richard C. Holt, Reports CSRI-115 & CSRI-133, CSRI, University of Toronto, Jul 1980, rev. Aug 1981.

Concurrent Euclid, The Unix System, and Tunis, Richard C. Holt, Addison-Wesley, 1983.