@ OW2con' 12
CS 290C: Formal Models for Web Software Lectures 14 and 15: Choreography and Orchestration Modeling with Process Algebras Instructor: Tevfik Bultan.