Mehdi Bagherzadeh. Panini: a concurrent programming model with modular reasoning. In Jonathan Aldrich, Patrick Eugster, editors, Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. pages 30-32, ACM, 2015. [doi]
Abstract is missing.