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. http://laas.fr/~bernard/lcs.html . E-mail: Bernard Berthomieu <[email protected]> . Mailing list: [email protected]
Last updated: 2000年03月28日
Nearby terms:
Language for Communicating Systems ♦ Language for the On-Line Investigation and Transformation of Abstractions
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading