Modeling and Programming Asynchronous Automata Networks: The MOCA Approach

This paper introduces a model and a language for the specification and simulation of networks of automata, a generalization of Cellular Automata characterized by a possibly irregular structure, asynchronous cell transition rule activation, heterogeneity and openness to external influences. The model as well as the derived language are discussed in details, and its possible applications are briefly introduced.