Formal modeling and analysis of atomic commitment protocols

D. Chkliaev, J.J.M. Hooman, P.D.V. Stok, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings Seventh International Conference on Parallel and Distributed Systems (ICPADS'00, Iwate, Japan, July 4-7, 2000)
EditorsM. Takizawa
PublisherIEEE Computer Society
Pages151-158
ISBN (Print)0-7695-0568-6
DOIs
Publication statusPublished - 2000

Cite this