Complexity of Analyzing the Synchronization Structure of Concurrent Programs.

Richard N. Taylor Complexity of Analyzing the Synchronization Structure of Concurrent Programs. 57-84 1983 19 Acta Inf. db/journals/acta/acta19.html#Taylor83