| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Languages for Concurrency
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.
Cited literature [33 references]
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
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)