Recovery guarantees for general multi-tier applications

This publication has 16 references indexed in Scilit:

• Guaranteeing recoverability in electronic commerce
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification of Vortex Workflows
  Published by Springer Nature ,2001
• Agents that buy and sell
  Communications of the ACM, 1999
• Efficient transparent application recovery in client-server information systems
  Published by Association for Computing Machinery (ACM) ,1998
• Executable object modeling with statecharts
  Computer, 1997
• ARIES
  ACM Transactions on Database Systems, 1992
• Understanding fault-tolerant distributed systems
  Communications of the ACM, 1991
• Fault tolerance under UNIX
  ACM Transactions on Computer Systems, 1989
• Highly available systems for database applications
  ACM Computing Surveys, 1984
• A NonStop kernel
  Published by Association for Computing Machinery (ACM) ,1981