Mechanical Translation of I/O Automaton Specifications into First-Order Logic.

Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch

Browse the full FORTE paper archive.