A new proposal of Concurrent Process Calculus
by
S. Lucas
,
J. Oliver
BibTeX
@MISC{Lucas_anew,
author = {S. Lucas and J. Oliver},
title = {A new proposal of Concurrent Process Calculus},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we present a new calculus to model concurrent systems, the Parallel Label-Selective-calculus. This calculus integrates the (functional) expressiveness of the-calculus in a unified framework with some powerful features for expressing communication actions and supporting the independence of processes which can be a main source of improvement when performing parallel computations.
Citations
| 1225 | A calculus of communicating systems - Milner - 1980 |
| 723 | Rewrite systems - Dershowitz, Jouannaud - 1990 |
| 29 | Implicit and explicit parallel programming in Haskell - Jones, Hudak - 1993 |
| 21 | Boudol G.: The Chemical Abstract - Berry - 1992 |
| 9 | S'equentialit'e de l"evaluation formelle des -expressions - Berry - 1978 |
| 6 | The polyadicπ-calculus: A tutorial - Milner - 1993 |
| 2 | Survey of concurrent calculi - Oliver, Lucas - 1993 |
| 1 | Label-Selective-Calculus: Syntax and Confluence - Ait-Kaci, Garrigue |
| 1 | This article was processed using the LT E X macro package with LLNCS style - International, Britain - 1987 |
