14 July 2011 Revised for the University of Sydney
School of Information Technology
First presented at 1st International Future Enterprise Systems Workshop (FES2010)
Charles Petrie
petrie@stanford.edu
Stanford University Computer Science, Logic Group
this talk is at:
http://www-cdr.stanford.edu/~petrie/talks/FES2010,
the short paper is at
http://www-cdr.stanford.edu/~petrie/papers/FES2010.pdf,
and the long paper is at
http://www-cdr.stanford.edu/~petrie/papers/FIS2010.pdf This work was supported by SAP Labs USA and HPI EPIC.
tar archive