Abstraction and empty process in process algebra

J.C.M. Baeten, R.J. van Glabbeek

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

In this paper, we combine the hidden step η of the authors’ paper [2] with the empty process ε of VRANCKEN [12] and the authors’ [3]. We formulate a system ACPc, which is a conservative extension of the systems ACPη, ACP, but also of ACPτ. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: we can abstract to the hidden step η, and then from η to Milner’s silent step τ.

Original languageEnglish
Pages (from-to)221-241
Number of pages21
JournalFundamenta Informaticae
Volume12
Issue number2
DOIs
Publication statusPublished - 1 Apr 1989

Fingerprint

Dive into the research topics of 'Abstraction and empty process in process algebra'. Together they form a unique fingerprint.

Cite this