220
click to vote
MSCS
10 years 17 days ago
2016
The standard subtyping relation used in dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for mul...
|