Helmbold, D., and Luckham, D.C. Runtime Detection and Description of Deadlock Errors in Ada Tasking. CSL Technical Report 83-249, Stanford University, November, 1983. Program Analysis and Verification Group Report 22

Languages mentioned

• TSL {1985} Parallel Ada