Languages for Concurrency

Catuscia Palamidessi 1 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, 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
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00201082
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 11:32:31
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:21:23

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00201082, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

193

Téléchargements de fichiers

115