CSP, partial automata, and coalgebras.
scientific article; zbMATH DE number 1768001
scientific article