23 citations · 79 across the 26 of their papers we have counts for
1 paper · 1 filter
Bharat Adsul, Paul Gastin, Saptarshi Sarkar +1
We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nat…