Browse by author
Lookup NU author(s): Professor Maciej Koutny,
Dr Lukasz Mikulski
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
© 2020 The Author(s). Relational structures based on acyclic relations can successfully model fundamental aspects of concurrent systems behaviour. Examples include Elementary Net systems and Mazurkiewicz traces. There are however cases where more general relational structures are needed. In this paper, we present a general model of relational structures which can be used for a broad class of concurrent behaviours. We demonstrate how this general set-up works for combined order structures which are based on two relations, viz. an acyclic ‘before’ relation and a possibly cyclic ‘not later than’ relation.
Author(s): Janicki R, Kleijn J, Koutny M, Mikulski L
Publication type: Article
Publication status: Published
Journal: Theoretical Computer Science
Pages: Epub ahead of print
Online publication date: 22/10/2020
Acceptance date: 19/10/2020
Date deposited: 09/11/2020
ISSN (print): 0304-3975
Publisher: Elsevier BV
Altmetrics provided by Altmetric