Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski. An Abstraction Technique for Describing Concurrent Program Behaviour. In Andrei Paskevich, Thomas Wies, editors, Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Volume 10712 of Lecture Notes in Computer Science, pages 191-209, Springer, 2017. [doi]
Abstract is missing.