Abstractions for fault-tolerant global computing: Extended abstracts

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations

Abstract

Global computing (WAN programming, Internet programming) distinguishes itself from local computing (LAN computing) by among other things the fact that it exposes the network to the application, rather than seeking to hide it with network transparency as in LAN programming. Global computing languages seek to provide useful abstractions for building applications in such environments. This paper introduces the pik-calculus, a calculus for asynchronous distributed programming that incorporates abstractions for building fault-tolerant global applications. The calculus incorporates notions of atomic failure and failure dependencies, from which various forms of distributed transactions and optimistic computation may be built. The pik-calculus extends the asynchronous pi-calculus with a notion of logs and "safe" operations for modifying those logs.

Original languageEnglish
Pages (from-to)116-144
Number of pages29
JournalElectronic Notes in Theoretical Computer Science
Volume66
Issue number3
DOIs
StatePublished - Sep 2002
EventF-WAN, Foundations of Wide Area Network Computing (ICALP 2002 Satellite Workshop) - Malaga, Spain
Duration: 12 Jul 200213 Jul 2002

Fingerprint

Dive into the research topics of 'Abstractions for fault-tolerant global computing: Extended abstracts'. Together they form a unique fingerprint.

Cite this