Global renaming operators in concrete process algebra

J.C.M. Baeten, J.A. Bergstra

    Research output: Contribution to journalArticlePopular

    59 Citations (Scopus)
    73 Downloads (Pure)


    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. The authors show that renamings enhance the defining power of concrete process algebra by using the example of a queue. They 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, they 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
    Original languageEnglish
    Pages (from-to)205-245
    JournalInformation and Computation
    Issue number3
    Publication statusPublished - 1988


    Dive into the research topics of 'Global renaming operators in concrete process algebra'. Together they form a unique fingerprint.

    Cite this