34 citations · 50 across the 19 of their papers we have counts for
1 paper · 1 filter
Bharat Adsul, Paul Gastin, Saptarshi Sarkar +1
We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non-trivial generalization of the wre…