By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend

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 (

E-mail: Bernard Berthomieu <>.

Mailing list:

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

Web Standards & Support:

Link to and support Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS! FireFox Extensions