Operativsystemkjernen i operativsystemet TUNIS, en variant av og Unix, ble skrevet utelukkende i Concurrent Euclid. ConcEuc utvider kjerne-elementene i Euclid med prosesser og monitorer (slik som disse ble spesifisert av C.A.R. Hoare) så vel som språklige konstruksjoner som behøves i systemprogrammering, deriblant separat kompilering, variabler ved absolutte adresser, typekonverterere og lange heltall.