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.

Related languages
CCS => Facile   Influence
SML => Facile   Extension of

  • Giacalone , A. et al, "Facile: A Symmetric Integration of Concurrent and Functional Programming" pp121-160 view details
          in Intl J Parallel Prog 18(2) Apr 1989 view details