Search Result for "lcs":

The Free On-line Dictionary of Computing (19 January 2023):

Language for Communicating Systems 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 . Mailing list: lcs@laas.fr (2000-03-28)