Language for Communicating Systems

Language for Communicating Systems

(language)(LCS) A concurrent SML by Bernard Berthomieuwith behaviours and processes, based upon higher order CCS. LCS is implemented as a bytecode interpreter and runson Sun SPARC, SGI MIPS, and Linux.

Latest version: 5.1, as of 2000-03-17.

http://laas.fr/~bernard/lcs.html.

E-mail: Bernard Berthomieu .

Mailing list: lcs@laas.fr