Complexity of analyzing the synchronization structure of concurrent programs
synchronization structure of concurrent programs
scientific article; zbMATH DE number 3767026