Complexity of analyzing the synchronization structure of concurrent programs

DOI10.1007/BF00263928zbMath0487.68022MaRDI QIDQ1165571

Richard N. Taylor

Publication date: 1983

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

verificationcomplexitydeadlockautomated static program analysiscommunicating concurrent systemsprogram data flowsynchronization structure of concurrent programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

May-Happen-in-Parallel Analysis for Actor-Based Concurrency, On the analysis of cooperation and antagonism in networks of communicating processes, Using heuristic search for finding deadlocks in concurrent systems