A Structural Induction Theorem for Processes

Open Webpage

Robert P. Kurshan, Kenneth L. McMillan

Published: 1989, Last Modified: 05 Nov 2025PODC 1989EveryoneRevisionsBibTeXCC BY-SA 4.0