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.

Home (http://www.laas.fr/~bernard/lcs.html).

E-mail: Bernard Berthomieu <[email protected]>.

Mailing list: [email protected]



< Previous Terms Terms Containing Language for Communicating Systems Next Terms >
LAN
LAN administrator
LANCE
language
language-based editor
 LCS
 Language for the On-Line Investigation and Transfo
Language H
language lawyer
Language Of Temporal Ordering Specification
Language Sensitive Editor