Interacting Automata for Modelling Distributed Systems - Lomazova, I. A. (LECTURE NOTES IN COMPUTER SCIENCE, 2003)