ePrints

Relational structures for concurrent behaviours

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Lukasz Mikulski

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).

Abstract

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

Publication metadata

Author(s): Janicki R, Kleijn J, Koutny M, Mikulski L

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2021

Volume: 862

Pages: 174-192

Print publication date: 16/03/2021

Online publication date: 22/10/2020

Acceptance date: 19/10/2020

Date deposited: 09/11/2020

ISSN (print): 0304-3975

Publisher: Elsevier BV

URL: https://doi.org/10.1016/j.tcs.2020.10.019

DOI: 10.1016/j.tcs.2020.10.019

Altmetrics

Funding

Share