241
click to vote
ESOP
2009
Springer
16 years 5 days ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...