A Fully Abstract Semantics for Termination in Petri Nets.

Robert Gold

Browse the full MFCS paper archive.