1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
Nicolas Baudru, Rémi Morin
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes with a distributed control structure called asynchron…