Languages for Concurrency - Archive ouverte HAL Access content directly
Journal Articles Bulletin- European Association for Theoretical Computer Science Year : 2006

Languages for Concurrency

(1) , (1)
1

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.
Fichier principal
Vignette du fichier
paper.pdf (110.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00201082 , version 1

Cite

Catuscia Palamidessi, Frank D. Valencia. Languages for Concurrency. Bulletin- European Association for Theoretical Computer Science, 2006, 90, pp.155-171. ⟨inria-00201082⟩
107 View
58 Download

Share

Gmail Facebook Twitter LinkedIn More