Skip to Main content Skip to Navigation
Journal articles

Languages for Concurrency

Catuscia Palamidessi 1 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Document type :
Journal articles
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/inria-00201082
Contributor : Catuscia Palamidessi <>
Submitted on : Sunday, December 23, 2007 - 11:32:31 AM
Last modification on : Thursday, March 5, 2020 - 6:18:31 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:21:23 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

269

Files downloads

157