Thomas L. Casavant Jon G. Kuhl A Communicating Finite Automata Approach to Modeling Distributed Computation and Its Application to Distributed Decision-Making. 628-639 1990 39 IEEE Trans. Computers 5 db/journals/tc/tc39.html#CasavantK90 http://doi.ieeecomputersociety.org/10.1109/12.53576