Correctness of the Type System
No immediate deadlock:Well-typed processes are not in deadlock
Previous slide
Next slide
Back to first slide
View graphic version