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