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, NYU 1984.
Comments, Experience, Additions
Next Language: PSML