Distributed Automata can work for you