Atomic Failure in Wide-Area Computation

The ATF Calculus is a kernel language for wide-area network programming languages, with atomic failure semantics as its central organizing principle.

[1]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[2]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[3]  Roberto M. Amadio.  An Asynchronous Model of Locality, Failurem and Process Mobility , 1997, COORDINATION.

[4]  Carl A. Gunter,et al.  PLAN: a packet language for active networks , 1998, ICFP '98.

[5]  J. Gregory Morrisett,et al.  Composing first-class transactions , 1994, TOPL.

[6]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[7]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[8]  James Riely,et al.  Type-Safe Execution of Mobile Agents in Anonymous Networks , 1999, Secure Internet Programming.

[9]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[10]  James Riely,et al.  Distributed processes and location failures , 2001, Theor. Comput. Sci..

[11]  James Riely,et al.  Type-Safe Execution of Mobile Agents in Anonymous Networks , 1998, ECOOP Workshops.

[12]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 2001, Secure Internet Programming.

[13]  William A. Arbaugh,et al.  The SwitchWare active network architecture , 1998, IEEE Netw..

[14]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[15]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[16]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[17]  Vassos Hadzilacos,et al.  On the Relationship Between the Atomic Commitment and Consensus Problems , 1990, Fault-Tolerant Distributed Computing.

[18]  Martín Abadi,et al.  A Calculus for Cryptographic Protocols: The spi Calculus , 1999, Inf. Comput..

[19]  Luca Cardelli,et al.  Types for mobile ambients , 1999, POPL '99.

[20]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[21]  James Riely,et al.  Trust and partial typing in open systems of mobile agents , 1999, POPL '99.

[22]  Davide Sangiorgi,et al.  Asynchronous process calculi: the first- and higher-order paradigms , 2001, Theor. Comput. Sci..