Reliability of Usages & the Usage Calculus

“For every I/O with capability,a corresponding O/I with obligation”

• new x:[]/(Oo|Ic|Ic) in (x![] | x?[].P | x?[].Q)? new x:[]/Ic in x?[].Q

Oo|Ic|Ic ? Ic

Previous slide

Next slide

Back to first slide

View graphic version