Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Dependency between

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

Dependency between Obligation and Capability

t<s “a capability with t may be used before 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]

t<s“a capability with t may be usedbefore an obligation with s is fulfilled”