A Structural Induction Theorem for Processes.

Robert P. Kurshan, Kenneth L. McMillan

Browse the full PODC paper archive.