B. Berthomieu, T. Le Sergent, "Programming with behaviors in an ML framework, the syntax and semantics of LCS". Euporean Symposium On Programming, Edinburgh, April 1994. Springer LNCS 788, 1994.
B. Berthomieu, "Process Calculi at work - An account of the LCS project", Workshop on Parallel Symbolic Languages and Systems, Beaune, France, October 95. Springer LNCS 1068, 1995.
B. Berthomieu. "CCS Programming in an ML Framework: An account of LCS", in "ML with Concurrency, Design, Analysis, Implementation, and Application", F. Nielson, Monographs in Computer Science, 1996, ISBN 0-387-94875-9.
LCS Users Manuals, Version 5.0. LAAS Report 98269, 1998. (Also part of the distribution, updates and replaces Report 91226).
B. Berthomieu, "LCS, Une implantation de CCS", Colloque C-Cube, Angoulème, 1988. [Early version, In French]
B. Berthomieu, "Implementing CCS, the LCS experiment", LAAS Report 86425, 1989. (A summary of the above paper).
B. Berthomieu, C. le Moniès de Sagazan. "A Calculus of Tagged Types, with applications to process languages", Workshop on Types for Program Analysis, Aarhus, 1995.
Camille le Moniès de Sagazan. "Un système de types
étiquetés polymorphes pour typer les calculs de processus à
liaison noms-canaux dynamiques. Thesis, Toulouse, Novembre 1995.
[In French.
Develops a theory of "tagged types" for typed CCS-style process
languages. Tagged types bear strong relationships with Mitchell Wand's row
types and with Didier Rémy's extensible record types.]
Thierry Le Sergent, Bernard Berthomieu, "Incremental Multi-threaded Garbage Collection on Virtually Shared Memory Architectures", International Workshop on Memory Management IWMM'92, St Malo, 1992, LNCS 637.
Thierry Le Sergent, Bernard Berthomieu, Balancing load under large and fast load changes in distributed computing systems - A case study", CONPAR 94 - VAPP VI Third Joint Int. Conference on Vector and Paralle Processing, Linz, 94, LNCS 854.
Thierry Le Sergent, "Méthodes d´exécution et machines virtuelles parallèles pour l'implantation distribuée du langage de programmation parallèle LCS", Thesis, Toulouse, February 1993. [In French]
D.C.J. Matthews, T. Le Sergent, "LEMMA, A Distributed Shared Memory with Global and Local Garbage Collection", International Workshop on Memory Management IWMM'95, Kinross, 1995, LNCS 986.
Home Page