A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
A knowledge-theoretic analysis of atomic commitment protocols
Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '87
INTRODUCTION Recently a new theory of dlsmbuted computing has been proposed, accordmg to which a dlsmbuted computation 1s vIewed as an activity of knowledge acqulsmon and chssemmatlon by commumcatmg processes (Halpem and Moses [ 19861, Halpem and Fagm ) In addmon to supplymg a formal log& foundation for &smbuted computmg which directly supports the informal way m which dlsmbuted algonthms are often described and thought about, this "knowledge theory" has afforded relatively simple proofsdoi:10.1145/28659.28672 dblp:conf/pods/Hadzilacos87 fatcat:zciknfi3wjcdhgds2upvewkiva