Algebraic Structure of Step Traces and Interval Traces Journal Articles

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.

authors

• Janicki, Ryszard
• Mikulski, Łukasz

status

• published 

publication date

• September 28, 2020

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Fundamenta Informaticae  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• MODELING CONCURRENCY
• Mathematics
• Mathematics, Applied
• Physical Sciences
• SEMANTICS
• Science & Technology
• Technology
• interval traces
• partially commutative monoids
• step traces
• traces

Digital Object Identifier (DOI)

• 10.3233/fi-2020-1956

start page

• 253

end page

• 280

volume

• 175

issue

• 1-4