Formal modeling and analysis of atomic commitment protocols

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

doi:10.1109/ICPADS.2000.857694

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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings Seventh International Conference on Parallel and Distributed Systems (ICPADS'00, Iwate, Japan, July 4-7, 2000)
Editors	M. Takizawa
Publisher	IEEE Computer Society
Pages	151-158
ISBN (Print)	0-7695-0568-6
DOIs	https://doi.org/10.1109/ICPADS.2000.857694
Publication status	Published - 2000

Access to Document

10.1109/ICPADS.2000.857694

Cite this

@inproceedings{068e584d505a4c1395c97c79be2199ba,

title = "Formal modeling and analysis of atomic commitment protocols",

author = "D. Chkliaev and J.J.M. Hooman and {Stok, van der}, P.D.V.",

year = "2000",

doi = "10.1109/ICPADS.2000.857694",

language = "English",

isbn = "0-7695-0568-6",

pages = "151--158",

editor = "M. Takizawa",

booktitle = "Proceedings Seventh International Conference on Parallel and Distributed Systems (ICPADS'00, Iwate, Japan, July 4-7, 2000)",

publisher = "IEEE Computer Society",

address = "United States",

}

Formal modeling and analysis of atomic commitment protocols. / Chkliaev, D.; Hooman, J.J.M.; Stok, van der, P.D.V.

Proceedings Seventh International Conference on Parallel and Distributed Systems (ICPADS'00, Iwate, Japan, July 4-7, 2000). ed. / M. Takizawa. IEEE Computer Society, 2000. p. 151-158.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal modeling and analysis of atomic commitment protocols

AU - Chkliaev, D.

AU - Hooman, J.J.M.

AU - Stok, van der, P.D.V.

PY - 2000

Y1 - 2000

U2 - 10.1109/ICPADS.2000.857694

DO - 10.1109/ICPADS.2000.857694

M3 - Conference contribution

SN - 0-7695-0568-6

SP - 151

EP - 158

BT - Proceedings Seventh International Conference on Parallel and Distributed Systems (ICPADS'00, Iwate, Japan, July 4-7, 2000)

A2 - Takizawa, M.

PB - IEEE Computer Society

ER -