Fair subtyping for multi-party session types.

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases