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

Languages for Concurrency

Catuscia Palamidessi
  • Fonction : Auteur
  • PersonId : 845654
Concurrency, Mobility and Transactions
Frank D. Valencia
  • Fonction : Auteur
Concurrency, Mobility and Transactions

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
paper.pdf (110.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00201082

Soumis le : dimanche 23 décembre 2007-11:32:31

Dernière modification le : jeudi 1 août 2024-17:08:02

Archivage à long terme le : jeudi 27 septembre 2012-13:21:23

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
118 Consultations
68 Téléchargements

Partager

More