Web Service Composition

Four Lectures taught April 2012
as part of the KIT Service Oriented Computing course.

Charles Petrie
petrie@stanford.edu

Guest Professor, KSRI
Stanford University (Ret.) Computer Science Logic Group

 
 
 

These talks have been moved from:
http://logic.stanford.edu/talks/
and now consist of these four lectures:
  1. Definitions Part 1
  2. Definitions Part 2
  3. Composition Part 1
  4. Composition Part 2



©2012 Charles Petrie - permission to reproduce widely with attribution.