Using B Refinement to Analyse Compensating Business Processes

This publication has 8 references indexed in Scilit:

• On the Use of Data Refinement in the Development of Secure Communications Systems
  Formal Aspects of Computing, 2002
• A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
  Design Automation for Embedded Systems, 2002
• Extending the concept of transaction compensation
  IBM Systems Journal, 2002
• csp2B: A Practical Approach to Combining CSP and B
  Formal Aspects of Computing, 2000
• A Process Compensation Language
  Published by Springer Nature ,2000
• Introducing dynamic constraints in B
  Published by Springer Nature ,1998
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996