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].