- Une Implantation de CCS Bernard Berthomieu
- LAAS/CNRS Report 98269, June 1998 CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
- LAAS/CNRS Report 98269, June 1998 CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
- Programming with behaviors in an ML framework --The syntax and semantics of LCS
- 1. E. Astesiano, E. Zucca, ``Parametric channels via label expressions in CCS*'', Theoretical Computer Science, Vol 33, 1984.
- Balancing load under large and fast load changes in distributed computing systems A case study
- 5.0 References [Abr85] S. ABRAMSKI, R. SYKES. SECDm: a Virtual Machine for Applicative Programming, In Functional Pro
- Incremental Multithreaded Garbage Collection on Virtually Shared Memory Architectures
- CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE LABORATOIRE d'ANALYSE et d'ARCHITECTURE des SYSTMES
- LAAS/CNRS Report 98269, June 1998 CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
- LAAS/CNRS Report 98269, June 1998 CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
- A Calculus of Tagged Types, with applications to process languages
