Search for more channels:

Similar Items: Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets