LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : This essay offers an overview of basic aspects and central development in Concurrency Theory based on formal languages. In particular, it focuses on the theory of Process Calculi.
Type de document :
Article dans une revue
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2006, 90, pp.155-171
https://hal.inria.fr/inria-00201082
Contributeur : Catuscia Palamidessi
<>
Soumis le : dimanche 23 décembre 2007 - 11:32:31
Dernière modification le : jeudi 10 mai 2018 - 02:06:07
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:21:23
Catuscia Palamidessi, Frank Valencia. Languages for Concurrency. Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2006, 90, pp.155-171. 〈inria-00201082〉
