A Language for value-passing CCS

Glenn Bruns

Abstract: Milner has defined an extension to CCS, called value-passing CCS, which allows parameterized agents and actions, and conditional expressions. This notation leaves open the problems of describing data and of associating sets of values with actions. We define a language for value-passing CCS in which sets, sequences, and tuples are built from natural number, boolean, and string constants. Only finite values can be constructed. Our language also contains declarations to associate set-valued expressions with actions. This paper contains a definition of the language and a description of a translator to basic CCS.

LFCS report ECS-LFCS-91-175

A revised version of this report entitled ``A Language and Translator for Value-Passing CCS'' is available.

Previous | Index | Next