Distributing Automata for Asynchronous Networks of Processors

In this article, we address the problem of automatic synthesis of distributed programs from specifications given as sequential reactive automata. We contribute to set up a theorical model for describing and understanding a distribution process for automata, based on the distribution of actions.