Login / Signup

A Proof of the Kahn Principle for Input/Output Automata

Nancy A. LynchEugene W. Stark
Published in: Inf. Comput. (1989)
Keyphrases