Correctness of the Type System
Partial Deadlock-Freedom:
ˇÉNon-cyclic communication on linear channelswon't cause deadlock"
?; ?¨§ P
?
P ? Q for some Q
Unless P is trying to receive/send a valuefrom/to some channel typed as ptm ? chanwhere either m ? 1, t ?+ t, p = ? or ?