An Obligation Approach for Exception Handling in Interaction Protocols | IEEE Conference Publication | IEEE Xplore