SPLX

Specification Language for Parallel cross-product

of processes and sequential modules.

["Parallel Module Specification on SPLX", C.F. Nourani,

SIGPLAN Notices 27(1):114-115, Jan 1992].

(1997-09-26)