< language > (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 .
Latest version: 5.1, as of 2000-03-17.
Home .
E-mail: Bernard Berthomieu Bernard.Berthomieu@laas.fr .
Mailing list: lcs@laas.fr
(2000-03-28)