ePrints

Classifying Invariant Structures of Step Traces

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

Downloads

• Accepted version [.pdf]

Licence

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

Abstract

In the study of behaviours of concurrent systems,traces are sets of behaviourally equivalent action sequences. Traces can berepresented by causal partial orders.Step traces, on the other hand, aresets of behaviourally equivalent step sequences, each step being a setof simultaneous actions.Step traces can be represented by relational structures comprising non-simultaneityand weak causality. In this paper, we propose a classification of step alphabetsas well as the corresponding step traces andrelational structures representing them. We also explain how theoriginal trace model fits into the overall framework.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Journal of Computer and System Sciences

Year: 2019

Volume: 104

Pages: 297-322

Print publication date: 01/09/2019

Online publication date: 17/05/2017

Acceptance date: 04/05/2017

Date deposited: 08/05/2017

ISSN (print): 0022-0000

ISSN (electronic): 1090-2724

Publisher: Elsevier

URL: https://doi.org/10.1016/j.jcss.2017.05.002

DOI: 10.1016/j.jcss.2017.05.002

Altmetrics

Funding

Share