A Generalized Event Structure for the Muller Unfolding of a Safe Net.

Jeremy Gunawardena

Browse the full CONCUR paper archive.