A Formal Model for Service Choreography with Exception Handling and Finalization.

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu

Browse the full TASE paper archive.