A Characterization of Combined Traces Using Labeled Stratified Order Structures
Distributed, Parallel, and Cluster Computing
2010-04-13 v2 Formal Languages and Automata Theory
Abstract
This paper defines a class of labeled stratified order structures that characterizes exactly the notion of combined traces (i.e., comtraces) proposed by Janicki and Koutny in 1995. Our main technical contributions are the representation theorems showing that comtrace quotient monoid, combined dependency graph (Kleijn and Koutny 2008) and our labeled stratified order structure characterization are three different and yet equivalent ways to represent comtraces.
Cite
@article{arxiv.1004.0056,
title = {A Characterization of Combined Traces Using Labeled Stratified Order Structures},
author = {Dai Tri Man Le},
journal= {arXiv preprint arXiv:1004.0056},
year = {2010}
}
Comments
22 pages, preliminary version, some typos fixed.