splx

from The Free On-line Dictionary of Computing (8 July 2008)

SPLX

   <language> 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)