Verification and Electronic Commerce

Citation:	Marc Spielmann, "Verification of Relational Transducers for Electronic Commerce". In Proceedings of 19th ACM Symposium on Principles of Database Systems (PODS 2000), ACM Press, 2000.
Summary:	An investigation into the verifiability of transaction protocols used in electronic commerce. A class of relational transducers based on ASMs are introduced and shown to be verifiable.
Subjects:	Verification
Download:	From the author's web page in PostScript.
Notes:

[an error occurred while processing this directive]

Abstract State Machines