Language for Communicating Systems


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

E-mail: Bernard Berthomieu <>.

Mailing list:

Last updated: 2000-03-28

Nearby terms:

Language for Communicating SystemsLanguage for the On-Line Investigation and Transformation of Abstractions

Try this search on Wikipedia, OneLook, Google