Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Language for Communicating Systems

You are here: irt.org | FOLDOC | 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.


E-mail: Bernard Berthomieu <Bernard.Berthomieu@laas.fr>.

Mailing list: lcs@laas.fr


Nearby terms: language « language-based editor « language code « Language for Communicating Systems » Language for the On-Line Investigation and Transformation of Abstractions » Language H » language lawyer

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb