(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 |