Characterizing Behavioural Congruences for Petri Nets.

Mogens Nielsen, Lutz Priese, Vladimiro Sassone

Browse the full CONCUR paper archive.