LCS(ID:2160/lcs001)Language for Communicating SystemsLanguage for Communicating Systems. Bernard Barthomieu. LAAS, France A concurrent SML with behaviors and processes, based upon higher order CCS. Implemented as a bytecode interpreter. Structures: Resources
|