Languages for Concurrency - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Bulletin- European Association for Theoretical Computer Science Année : 2006

Languages for Concurrency

Résumé

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.
Fichier principal
Vignette du fichier
paper.pdf (110.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00201082 , version 1 (23-12-2007)

Identifiants

  • HAL Id : inria-00201082 , version 1

Citer

Catuscia Palamidessi, Frank D. Valencia. Languages for Concurrency. Bulletin- European Association for Theoretical Computer Science, 2006, 90, pp.155-171. ⟨inria-00201082⟩
112 Consultations
65 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More