Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure

Issue title: Concurrency Specification and Programming (CS&P 2003)

Article type: Research Article

Authors: Lomazowa, Irina A.

Affiliations: Moscow State Social University, Moscow, 107150, Program Systems Institute of Russian Academy of Science, Pereslavl-Zalessky, 152020, Russia

Abstract: A community of interacting automata is a set of nondeterministic finite automata which can execute actions autonomously, synchronize with each other, or generate new members of the community. Thus interacting automata allow to model distributed systems with nonlimited number of distributed agents. We show that the formalism of interacting automata has a clear semantics and nice semantic properties.

Keywords: distributed systems, finite automata, interaction, semantical properties, systems with dynamic structure

Journal: Fundamenta Informaticae, vol. 60, no. 1-4, pp. 225-235, 2004