A fault-tolerant mobile-state protocol and its language interface
(English)Manuscript (preprint) (Other academic)
Mobile-state protocols are important for distributed object systems. We define a lightweight mobile-state protocol that has a well-defined behavior for site and network failures. The protocol is implemented as part of the Mozart platform for distributed application development based on the Oz 2 language. The protocol provides enough information to the language layer so that we can use the platform to program common fault-tolerant algorithms completely in Oz 2. We formally define the semantics of the network layer and the language interface, and we prove that the protocol correctly implements the language interface.
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-24877OAI: oai:DiVA.org:kth-24877DiVA: diva2:353704
QC 201009282010-09-282010-09-282010-09-28Bibliographically approved