Tunis was implemented in Concurrent Euclid, a descendant of
the Euclid programming language, designed by Ric Hort and
James Cordy. They later designed Turing, which had some
features from Pascal. [I bought their books during the '80s]
Per Brinch Hansen designed Concurrent Pascal and implemented
the Solo operating Solo operating system in it.