The complexity of problems in systems of communicating sequential processes
scientific article; zbMATH DE number 3702100