Language for Communicating Systems (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. http://laas.fr/~bernard/lcs.html. E-mail: Bernard Berthomieu <[email protected]>. Mailing list: [email protected] Last updated: 2000-03-28
