Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs by Yang, Zijiang | Menrva Books | MenrvaBooks