Communicating finite-state machine

In computer science, a communicating finite-state machine is a finite-state machine labeled with "receive" and "send" operations over some alphabet of channels. They were introduced by Brand and Zafiropulo, and can be used as a model of concurrent processes like Petri nets.

This neuron ends here.