69 citations · 205 across the 22 of their papers we have counts for
1 paper · 1 filter
Hendrik Maarand, Tarmo Uustalu
Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces…