Home
Scholarly Works
Subclasses of Step Traces
Chapter

Subclasses of Step Traces

Abstract

Step traces are an extension of concurrency traces where each equivalence class (step trace) consists of sequences of steps rather than sequences of actions. Relationships between individual actions are defined statically as the parameters of step alphabets. Allowing only some of the possible relationships between actions leads in a natural way to subclasses of step alphabets. This chapter presents a classification of several subclasses of step alphabets and investigates order structures representing the causal dependencies in the corresponding step traces.

Authors

Janicki R; Kleijn J; Koutny M; Mikulski Ł

Book title

Studies in Computational Intelligence

Volume

1020

Pagination

pp. 277-312

Publication Date

January 1, 2022

DOI

10.1007/978-3-662-64821-6_10
View published work (Non-McMaster Users)

Contact the Experts team