Designing, Verifying, and Evolving Commitment-based Business Protocols.

dc.contributor.advisorMunindar Singh, Chairen_US
dc.contributor.advisorRobert Handfield, Memberen_US
dc.contributor.advisorJon Doyle, Memberen_US
dc.contributor.advisorTao Xie, Memberen_US
dc.contributor.authorGerard, Scott Nealen_US
dc.date.accepted2013-05-21en_US
dc.date.accessioned2013-06-26T05:30:22Z
dc.date.available2013-06-26T05:30:22Z
dc.date.defense2013-04-17en_US
dc.date.issued2013-04-17en_US
dc.date.released2013-06-26en_US
dc.date.reviewed2013-04-30en_US
dc.date.submitted2013-04-24en_US
dc.degree.disciplineComputer Scienceen_US
dc.degree.leveldissertationen_US
dc.degree.nameDoctor of Philosophyen_US
dc.identifier.otherdeg2573en_US
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.16/8690
dc.rightsen_US
dc.titleDesigning, Verifying, and Evolving Commitment-based Business Protocols.en_US

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
etd.pdf
Size:
627.95 KB
Format:
Adobe Portable Document Format

Collections