Languages for Concurrency

Catuscia Palamidessi; Frank D. Valencia

Journal Articles Bulletin- European Association for Theoretical Computer Science Year : 2006

Languages for Concurrency

(1) , (1)

Catuscia Palamidessi

Function : Author
PersonId : 845654

Concurrency, Mobility and Transactions

Frank D. Valencia

Function : Author

Concurrency, Mobility and Transactions

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.

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Fichier principal

paper.pdf (110.56 Ko)

Origin : Files produced by the author(s)

Catuscia Palamidessi : Connect in order to contact the contributor

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

Submitted on : Sunday, December 23, 2007-11:32:31 AM

Last modification on : Thursday, January 20, 2022-4:13:04 PM

Long-term archiving on: Thursday, September 27, 2012-1:21:23 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2

107 View

58 Download

Languages for Concurrency

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share