Specification and Synthesis of Communicating Finite State Machines.

H. Belhadj L. Gerbaux Marie-Claude Bertrand Gabriele Saucier Specification and Synthesis of Communicating Finite State Machines. 91-102 1992 conf/ifip10-2/1992 Synthesis for Control Dominated Circuits db/conf/ifip10-2/ifip10-2-1992.html#BelhadjGBS92