Highly Influenced

10 Excerpts

- Published 1988 in Inf. Comput.

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.

@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}
}