Modelling Nondeterministic Concurrent Processes with Event Structures-Reference-Cited by-同舟云学术

Modelling Nondeterministic Concurrent Processes with Event Structures

Published:1991-01-01 Issue:1 Volume:14 Page:39-73
ISSN:1875-8681
Container-title:Fundamenta Informaticae
language:
Short-container-title:FI

Author:

Loogen Rita¹,Goltz Ursula²

Affiliation:

1. Lehrstuhl für Informatik II, RWTH Aachen, Ahornstraße 55, D-5100 Aachen, Germany

2. 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.

Publisher

IOS Press

Subject

Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02

2. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra;Concurrency, Graphs and Models;2008

3. Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement;Journal of Computer Science and Technology;2004-12

4. The Box Algebra=Petri Nets+Process Expressions;Information and Computation;2002-10

5. An Algebra of Non-safe Petri Boxes;Algebraic Methodology and Software Technology;2002