Modelling Nondeterministic Concurrent Processes with Event Structures

Article type: Research Article

Authors: Loogen, Rita^a | Goltz, Ursula^b

Affiliations: [a] Lehrstuhl für Informatik II, RWTH Aachen, Ahornstraße 55, D-5100 Aachen, Germany | [b] Gesellschaft für Mathematik und Datenverarbeitullg mbH, Schloß Birlinghoven, Postfach 1240, D-5205 Sankt Augustin 1, Germany

Abstract: We present a non-interleaving model for non deterministic concurrent processes that is based on labelled event structures. We define operators on labelled event structures like parallel composition, nondeterministic combination, choice, prefixing and hiding. These operators correspond to the operations of the “Theory of Communicating Sequential Processes” (TCSP). Infinite processes are defined using the metric approach. The dynamic behaviour of event structures is defined by a transition relation which describes the execution of partially ordered sets of actions, abstracting from internal events.

DOI: 10.3233/FI-1991-14103

Journal: Fundamenta Informaticae, vol. 14, no. 1, pp. 39-73, 1991