Combining programs and state machines

@article{Bergstra2002CombiningPA,
  title={Combining programs and state machines},
  author={Jan A. Bergstra and Alban Ponse},
  journal={J. Log. Algebr. Program.},
  year={2002},
  volume={51},
  pages={175-192}
}
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their interface. As state machines offer a service to programs, their interface is also called a service interface. State machines can be combined with several natural operators, thus… CONTINUE READING