Service-based Process Synthesis
September 2007

Charles Petrie
petrie@stanford.edu
Stanford Logic Group
 

---

this talk is at:
http://logic.stanford.edu/talks/procsyth

tar archive

---

©2007 Charles Petrie