PSETL

Parallel SETL

An extension of SETL for operating specification and simulation, including process management, I/O and interprocess communication proimitives.

"Description of Operating Systems Using Very High Level Diction", Gabriel Leshem, NYUniversity of 1984.