Using B Refinement to Analyse Compensating Business Processes


Butler, Michael and Ferreira, Carla (2003) Using B Refinement to Analyse Compensating Business Processes At ZB 2003: Third International Conference of B and Z Users.

Download

[img] Postscript ZB2003.ps - Other
Download (1MB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: June
Venue - Dates: ZB 2003: Third International Conference of B and Z Users, 2003-06-01
Organisations: Electronic & Software Systems
ePrint ID: 258676
Date :
Date Event
2003Published
Date Deposited: 29 Apr 2004
Last Modified: 17 Apr 2017 22:40
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/258676

Actions (login required)

View Item View Item