Event-driven architectures like this are a relatively common design pattern in distributed systems. Like other distributed development models, they have their own problems, especially at scale.

The inputs that drive hardware state machines are bits or groups of bits. In software, groups of bits that can change are called variables. Therefore, the software state machines that most closely ...