A petri net reduction algorithm for protocol analysis.

C. V. Ramamoorthy, Yuh Yaw

Browse the full SIGCOMM paper archive.