Typechecking protocols with Mungo and StMungo

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay. Typechecking protocols with Mungo and StMungo. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 146-159, ACM, 2016. [doi]

Abstract

Abstract is missing.