Verifying Formal Specifications of Synchronous Processes.

Patricia P. Griffiths, Charles J. Prenner

Browse the full POPL paper archive.