Language for Communicating Systems
Technology Dictionary
-> Language for Communicating Systems
Search:
Language for Communicating Systems
(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
.
Mailing list: lcs@laas.fr
(2000-03-28)
©
Art Branch Inc.
SQL Tutorial