Data flow analysis of distributed communicating processes
scientific article; zbMATH DE number 4176417