VDict - Definition of Language for Communicating Systems

Computing (FOLDOC) dictionary

Language for Communicating Systems

Jump to user comments

language (LCS) A concurrent SML by Bernard Berthomieu

with behaviours and processes, based upon higher orderCCS. 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.

E-mail: Bernard Berthomieu [email protected].

Mailing list: [email protected]

(2000-03-28)

Related search result for "Language for Communicating Systems"

Words contain "Language for Communicating Systems" in its definition in Computing (FOLDOC) dictionary:
Calculus of Communicating Systems WSL Communicating Sequential Processes Brain Aid Prolog LCS Programming Language/Systems Gabriel Language for Communicating Systems CCS el(alpha) more...

Comments and discussion on the word "Language for Communicating Systems"