Satisfiability of dataflow models of distributed programs
scientific article; zbMATH DE number 1973007