Interacting automata
interacting partial nondeterministic automata
scientific article; zbMATH DE number 948696