Sciweavers

6 search results - page 2 / 2
» Verification of Safety Properties in the Presence of Transac...
Sort
View
SIGSOFT
2006
ACM
14 years 7 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu