Dependency between Obligation and Capability
t<sˇČa capability with t may be usedbefore an obligation with s is fulfilledˇÉ
y:[]/Ict, x:[int]/Oos; t<s¨§ y?[].x![3]
y:[]/Ict, x:[int]/Oos; ?¨§ y?[].x![3]
y:[]/Ict, x:[int]/Oos; s<t¨§ y?[].x![3]
Previous slide
Next slide
Back to first slide
View graphic version