SML with CCS style processes
SUNY Stony Brook, late 80's. Since 1991 at ECRC, Munich. Extends SML with a model of higher-order concurrent processes based on CCS. Suitable for loosely connected systems with distributed memory.
in Intl J Parallel Prog 18(2) Apr 1989 view details