Session II Part I – BPMN, BPEL and WS*
CS 290C: Formal Models for Web Software Lectures 16: Choreography and Orchestration Modeling with Process Algebras Instructor: Tevfik Bultan