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 language | English |
---|---|
Pages (from-to) | 116-144 |
Number of pages | 29 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 66 |
Issue number | 3 |
DOIs | |
State | Published - Sep 2002 |
Event | F-WAN, Foundations of Wide Area Network Computing (ICALP 2002 Satellite Workshop) - Malaga, Spain Duration: 12 Jul 2002 → 13 Jul 2002 |