@inproceedings{5752b182eaa8485fa8ec0b3582877f81,
title = "Atomic failure in wide-area computation",
abstract = "The ATF Calculus is a kernel language for wide-area network programming languages, with atomic failure semantics as its central organizing principle.",
keywords = "Wide-area network programming, atomic failure, fault tolerance",
author = "Dominic Duggan",
year = "2000",
doi = "10.1007/978-0-387-35520-7\_4",
language = "English",
isbn = "9781475710182",
series = "IFIP Advances in Information and Communication Technology",
pages = "65--86",
booktitle = "Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000",
note = "4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 ; Conference date: 06-09-2000 Through 08-09-2000",
}