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 …
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