Language for Communicating Systems
Synonyms
LCS
(LCS) A concurrent SML by Bernard Berthomieu with behaviours and processes, based upon higher order CCS. LCS is implemented as a bytecode interpreter and runs on Sun SPARC, SGI MIPS, and Linux.
http://laas.fr/~bernard/lcs.html.
E-mail: Bernard Berthomieu <Bernard.Berthomieu@laas.fr>.
Mailing list: lcs@laas.fr