Abstractions for fault-tolerant global computing

This publication has 35 references indexed in Scilit:

• KLAIM: a kernel language for agents interaction and mobility
  IEEE Transactions on Software Engineering, 1998
• The emergence of distributed component platforms
  Computer, 1998
• Partial order and contextual net semantics for atomic and locally atomic CC programs
  Science of Computer Programming, 1998
• Proving concurrent constraint programs correct
  ACM Transactions on Programming Languages and Systems, 1997
• The weakest failure detector for solving consensus
  Journal of the ACM, 1996
• Synthesis of extended transaction models using ACTA
  ACM Transactions on Database Systems, 1994
• Causal controversy at Le Mont St.-Michel
  ACM SIGOPS Operating Systems Review, 1993
• Distributed programming in Argus
  Communications of the ACM, 1988
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• Optimism and consistency in partitioned distributed database systems
  ACM Transactions on Database Systems, 1984