5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Namit Chaturvedi, Marcus Gelderie
Mazurkiewicz traces describe concurrent behaviors of distributed systems. Trace-closed word languages, which are "linearizations" of trace languages, constitute a weaker notion of…