Mehdi Bagherzadeh, Hridesh Rajan. Order types: static reasoning about message races in asynchronous message passing concurrency. In Joeri De Koster, Federico Bergenti, editors, Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2017, Vancouver, BC, Canada, October 23 - 27, 2017. pages 21-30, ACM, 2017. [doi]
Abstract is missing.