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 : mercredi 14 novembre 2018 - 16:10:03
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〉
