Correctness of the Type System
Partial Confluence:
ˇÉCommunication on linear channelswon't cause non-determinism"
?; ?¨§ P and Q ?1 P ? Q'
?
Q ?* R *? Q' for some R
Previous slide
Next slide
Back to first slide
View graphic version