On Communicating Finite-State Machines (1983)

by D Brand, P Zafiropulo
Venue:Journal of the ACM