Process Algebra for Limited Parallelism


An extension of Milner's CCS is presented. The language takes into account a number of resources/processors which have processes at disposal. It enables to consider various distributions and nesting of (sub)processes. Both an operational semantics in Plotkin style and bisimulation semantics for the language are deened. An axiomatiza-tion for nite processes… (More)