A Calculus for Long-Running Transactions

This publication has 5 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Coordinating business transactions on the Web
  IEEE Internet Computing, 2003
• Orchestrating Transactions in Join Calculus*
  Published by Springer Nature ,2002
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Sagas
  Published by Association for Computing Machinery (ACM) ,1987