LCS

Language for Communicating Systems

Bernard Barthomieu

A concurrent derivative of SML[1] with behaviors and processes, based upon higher order CCS. Implemented as a bytecode interpreter.