4 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Samy Abbes, Jean Mairesse, Yi-Ting Chen
We study trace theoretic concurrent systems. This setting encompasses safe (1-bounded) Petri nets. We introduce a notion of irreducible concurrent system and we prove the equivalen…