Programming with behaviors in an ML framework - The syntax and semantics of LCS (1994)
by
Bernard Berthomieu
,
Thierry Le Sergent
| Citations: | 13 - 5 self |
BibTeX
@MISC{Berthomieu94programmingwith,
author = {Bernard Berthomieu and Thierry Le Sergent},
title = {Programming with behaviors in an ML framework - The syntax and semantics of LCS},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
LCS is an experimental high level asynchronous parallel programming language primarily aimed at exploring design, implementation and use of programming languages based upon the behavioral paradigms introduced by CSP and CCS. The language extends Standard ML with primitives for concurrency and communication based upon a higher order extension of the CCS formalism. Typechecking enforces consistency of communications. An abstract operational semantics of the language is given in terms of a transition system.
