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/ |