LCS ==>
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 <Bernard.Berthomieu@laas.fr>.
Mailing list: lcs@laas.fr
(2000-03-28)
Nearby terms:
LANCE « language « language-based editor «
Language for Communicating Systems » Language
for the On-Line Investigation and Transformation of
Abstractions » Language H » language lawyer
|
