@MISC{Baeten_processalgebra, author = {J.C.M. Baeten and J.A. Bergstra and Gh. Stefanescu}, title = {Process Algebra with Feedback}, year = {} }

Share

OpenURL

Abstract

We consider process graphs over a set of pins, i.e. with multiple entries and exits. On process graphs modulo bisimulation, we can define all standard process algebra operators plus the feedback operator from flowchart theory. We provide a complete axiomatisation for finite processes. Considering the one-point pin structure, we get back standard process algebra. 1980 Mathematics Subject Classification (1985 revision): 68Q55, 68Q10, 68Q45. 1987 CR Categories: F.1.2, D.3.1, F.3.1, D.1.3. Key words & Phrases: process algebra, feedback, pin. Note: The research of the first two authors was supported in part by ESPRIT basic research action 7166, CONCUR2. 1 Introduction Semantics of process theory is often given in terms of graphs. The process graphs considered usually have exactly one entry and exactly one exit. In [BeS94], this was adapted to allow for multiple entries and multiple exits. The resulting model was used to model key constructs of ACP and of the algebra of flownomials [St...