Designing, Verifying, and Evolving Commitment-based Business Protocols.
| Title: | Designing, Verifying, and Evolving Commitment-based Business Protocols. |
| Author: | Gerard, Scott Neal |
| Advisors: | Munindar Singh, Chair Robert Handfield, Member Jon Doyle, Member Tao Xie, Member |
| Date: | 2013-04-17 |
| Degree: | Doctor of Philosophy |
| Discipline: | Computer Science |
| URI: | http://www.lib.ncsu.edu/resolver/1840.16/8690 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| etd.pdf | 627.9Kb |
View/ |
