Global Renaming Operators in Concrete Process Algebra

Abstract

Renaming operators are introduced in concrete process algebra (concrete means that abstraction and silent moves are not considered). Examples of renaming operators are given: encapsulation, pre-abstraction, and localization. We show that renamings enhance the defining power of concrete process algebra by using the example of a queue. We give a definition of the trace set of a process, see when equality of trace sets implies equality of processes, and use trace sets to define the restriction of a process. Finally, we describe processes with actions that have a side effect on a state space and show how to use this for a translation of computer programs into process algebra. CJ 1988 Academic Press, Inc.

DOI: 10.1016/0890-5401(88)90027-2

5 Figures and Tables

Statistics

0510'89'92'95'98'01'04'07'10'13'16
Citations per Year

89 Citations

Semantic Scholar estimates that this publication has 89 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Baeten1988GlobalRO, title={Global Renaming Operators in Concrete Process Algebra}, author={Jos C. M. Baeten and Jan A. Bergstra}, journal={Inf. Comput.}, year={1988}, volume={78}, pages={205-245} }