Related Work (3/4)
[Yoshida 96]Graph Types:In what order processes perform input/output on channels
Only ¡Æcapability + obligation¡Ç;cannot express ¡Æcapability without obligation¡Ç and ¡Æobligation without capability¡Ç
Previous slide
Next slide
Back to first slide
View graphic version