Fair Subtyping for Multi-party Session Types

Luca Padovani. Fair Subtyping for Multi-party Session Types. In Wolfgang De Meuter, Gruia-Catalin Roman, editors, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6721 of Lecture Notes in Computer Science, pages 127-141, Springer, 2011. [doi]

Abstract

Abstract is missing.