Electronic Resource
Springer
Formal aspects of computing
8 (1996), S. 238-244
ISSN:
1433-299X
Keywords:
Calculus of communicating systems
;
Parametric channels
;
Parallel operating systems
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract We present a concrete version of Astesiano and Zucca's CCS/PC, that permits parametric channels of a special form which are used in prefix expressions and in an extended way in relabelling functions. We report on the use of the calculus to describe nested process context in a parallel operating system.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01214558
Permalink
|
Location |
Call Number |
Expected |
Availability |