Parallel communicating automata systems — A survey

Abstract

A parallel communicating automata system is an accepting device based on the communication between more automata working in parallel. It consists of several automata working independently but communicating with each other by request. We survey several variants of parallel communicating automata systems with respect to their computational power. Other aspects like decidability and complexity matters are also briefly discussed. Some open problems and directions for future research are finally pointed out.