Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.

Kuo-Chung Tai, Richard H. Carver

Browse the full ICPADS paper archive.