SPLX(ID:1709/spl021)

Specification Language for Parallel cross-product of processes and sequential modules.
References:
  • Nourani, C.F."Parallel Module Specification on SPLX", view details
          in SIGPLAN Notices 27(01) January 1992 view details