Specification and Verification of Communication Constraints for Interoperable Transactions.

Anne H. H. Ngu, Robert Meersman, Hans Weigand

Browse the full CoopIS paper archive.