Facile(ID:1624/fac002)

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

References:
  • 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