Fair subtyping for multi-party session types

Luca Padovani. Fair subtyping for multi-party session types. Mathematical Structures in Computer Science, 26(3):424-464, 2016. [doi]

Authors

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google