A Pascal derived from Pascal-S which provides several types of concurrency : semaphore s, monitors , both occam / CSP -style and Ada -style rendezvous .
["The Teaching Language Pascal-FC", G.L. Davies et al, Computer J 33(2):147-154 (Apr 1990)].
(1994-11-02)