Designing, Verifying, and Evolving Commitment-based Business Protocols.
dc.contributor.advisor | Munindar Singh, Chair | en_US |
dc.contributor.advisor | Robert Handfield, Member | en_US |
dc.contributor.advisor | Jon Doyle, Member | en_US |
dc.contributor.advisor | Tao Xie, Member | en_US |
dc.contributor.author | Gerard, Scott Neal | en_US |
dc.date.accepted | 2013-05-21 | en_US |
dc.date.accessioned | 2013-06-26T05:30:22Z | |
dc.date.available | 2013-06-26T05:30:22Z | |
dc.date.defense | 2013-04-17 | en_US |
dc.date.issued | 2013-04-17 | en_US |
dc.date.released | 2013-06-26 | en_US |
dc.date.reviewed | 2013-04-30 | en_US |
dc.date.submitted | 2013-04-24 | en_US |
dc.degree.discipline | Computer Science | en_US |
dc.degree.level | dissertation | en_US |
dc.degree.name | Doctor of Philosophy | en_US |
dc.identifier.other | deg2573 | en_US |
dc.identifier.uri | http://www.lib.ncsu.edu/resolver/1840.16/8690 | |
dc.rights | en_US | |
dc.title | Designing, Verifying, and Evolving Commitment-based Business Protocols. | en_US |
Files
Original bundle
1 - 1 of 1