TY - RPRT TI - Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography AU - Yong Wang PY - 2013 UR - https://arxiv.org/abs/1312.0677 ID - 1312.0677 ER -