Systems of parallel communicating restarting automata
and
RAIRO-Theor. Inf. Appl., 48 1 (2014) 3-22
Published online: 21 January 2014
DOI: 10.1051/ita/2013046
