Abstract

In this paper, we deal with event-oriented models of concurrent processes which are generalizations of the well-studied model of prime event structures. In particular, we translate flow event structures into structures for resolvable conflict (the most expressive event-oriented model) and back, define two structurally different methods of generating transition systems from the models under consideration, and demonstrate that, despite their differences, the methods lead to isomorphic results in interleaving and step semantics.

DOI
10.31144/bncc.cs.2542-1972.2019.n43.p21-38
File
Issue
Pages
21–38