General method of testing the compatibility of interacting automata with finite memory
interacting partial nondeterministic automata
scientific article; zbMATH DE number 1517614