https://deepai.org/publication/communicating-finite-state-machines-and-two-variable-logic
Communicating Finite-State Machines and Two-Variable Logic | DeepAI
Sep 28, 2017 - 09/28/17 - Communicating finite-state machines are a fundamental, well-studied model of finite-state processes that communicate via unbounded...
finite state machinestwo variable logiccommunicatingdeepai