Affiliations: [a] Department of Computing and Software, McMaster University, Hamilton, ON, L8S 4K1, Canada. janicki@mcmaster.ca | [b] Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Chopina 12/18, Poland and Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Warszawa, Banacha 2, Poland. lukasz.mikulski@mat.umk.pl
Correspondence:
[*]
Address for correcpondence: Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Chopina 12/18, Poland
Abstract: Traces and their extensions as comtraces, step traces and interval traces are quotient monoids over sequences or step sequences that play an important role in the formal analysis and verification of concurrent systems. Step traces are generalizations of comtraces and classical traces while interval traces are specialized traces that can deal with interval order semantics. The algebraic structures and their properties as projections, hidings, canonical forms and other invariants are very well established for traces and fairly well established for comtraces. For step traces and interval traces they are the main subject of this paper.
