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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E. Artesiano, E. Zucca, “Parametric channels via label expressions in CCS*”, Theoretical Computer Science, vol 33, 1984.
B. Berthomieu, “LCS, une implantation de CCS”, 3ème Colloque C-Cube, A. Arnold Ed., Angoulème, France, September 1988.
B. Berthomieu, “Tagged Types — A theory of order sorted types for tagged expressions”, LAAS Technical Report 93083, March 1993.
B. Berthomieu, D. Giralt, J-P. Gouyon, “LCS user's manuals”, LAAS Technical Report 91226, June 1991.
D. Berry, R. Milner, D. N. Turner, “A semantics for ML concurrency primitives”, ACM Symposium on Principles of Programming Languages, 1992.
U. Engberg, M. Nielsen, “A Calculus of Communicating Systems with Label Passing”, Research Report DAIMI PB-208, Computer Science Department, U. of Aarhus, 1986.
A. Giacalone, P. Mishra, S. Prasad, “Facile: A symmetric integration of concurrent and functional programming”. Int. Journal of Parallel Programming, 18(2), April 1989.
S. Holstrom, “PFL: A Functional Language for Parallel Programming”. In Declarative Programming Workshop, Chalmers U. of Technology, U. of Göteborg, Sweden, 1983.
ISO, “ISO-LOTOS, A Formal Description Technique based on the Temporal Ordering of Observational Behaviour”, Int. Standard ISO 8807, ISO, 1989.
T. Le Sergent, B. Berthomieu, “Incremental multi-threaded garbage collection on virtually shared memory architectures”, Int. Workshop on Memory Management, St. Malo, France, Sept 1992.
T. Le Sergent, “Méthodes d'exécution et machines virtuelles parallèles pour l'implantation distribuée du langage de programmation parallèle LCS”, Ph.D. thesis, Feb. 93.
D. Matthews, “A distributed concurrent implementation of Standard ML”, EurOpen Autumn 1991 Conference, Budapest, Hungary, 1991.
R. Milner, Communication and Concurrency, Prentice Hall international series in Computer science, C.A.R. Hoare Ed, 1989.
R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML, The MIT Press, 1990
R. Milner, J. Parrow, D. Walker, “A Calculus of Mobile Processes”, ECS-LFCS-89-85, LFCS report series, Edinburgh University, 1989.
S. Owicki, D. Gries, “An Axiomatic Proof Technique for Parallel Programs I”, Acta Informatica, vol 14, 1976.
J. H. Reppy, “CML: A higher-order concurrent language”, ACM SIGPLAN Conf. on Programming Language Design and Implementation, SIGPLAN Notices 26(6), 1991.
D. Rémy, “Typechecking records and variants in a natural extension of ml”, In Proceedings of the 16th ACM Symp. on Principles of Programming Languages, 1989.
B.Thomsen, “A calculus of higher order communicating systems”, In Proceedings of the 16th ACM Symposium on Principles of Programming Languages, 1989.
M. Wand. “Complete Type Inference for Simple Objects”, In Second Symposium on Logic in Computer Science, Ithaca, New York, June 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berthomieu, B., Le Sergent, T. (1994). Programming with behaviors in an ML framework — The syntax and semantics of LCS. In: Sannella, D. (eds) Programming Languages and Systems — ESOP '94. ESOP 1994. Lecture Notes in Computer Science, vol 788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57880-3_6
Download citation
DOI: https://doi.org/10.1007/3-540-57880-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57880-2
Online ISBN: 978-3-540-48376-2
eBook Packages: Springer Book Archive