Language for Communicating Systems
LCS
<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]
(2000-03-28)