Universal Two State Machines: Characterization Theorems and Decomposition Schemes

Jeffrey D. Ullman Peter Weiner

Published in: SWAT (1968)

Keyphrases

state machines
state machine
petri net
recurrent networks
sequence diagrams
web services
fault tolerant
high level
supply chain