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

Show full item record

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 PDF View/Open

This item appears in the following Collection(s)

Show full item record