Some undecidable problems for parallel communicating finite automata systems
parallel communicating finite automata systems
scientific article; zbMATH DE number 1767242
scientific article