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 <Bernard.Berthomieu@laas.fr>.
Mailing list: lcs@laas.fr
| < 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 |
