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).
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.
Author(s): Janicki R, Kleijn J, Koutny M, Mikulski L
Publication type: Article
Publication status: Published
Journal: Journal of Computer and System Sciences
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
Altmetrics provided by Altmetric