The general synthesis problem for asynchronous digital networks
David E. Muller · 1967
The notion of behavior is defined for an asynchronous digital network. A necessary and sufficient condition for the existence of a network having a given behavior is that the behavior be regular in a general sense.