Thomas Lee Casavant
-
A Communicating Finite Automata Approach to Modeling Distributed Computation and its Application to Distributed Decision-Making
IEEE Transactions on Computers