Using B Refinement to Analyse Compensating Business Processes
Using B Refinement to Analyse Compensating Business Processes
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ferreira, Carla
d9349b51-8ea9-491f-b31c-e54df2cdb38f
2003
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Ferreira, Carla
d9349b51-8ea9-491f-b31c-e54df2cdb38f
Butler, Michael and Ferreira, Carla
(2003)
Using B Refinement to Analyse Compensating Business Processes.
ZB 2003: Third International Conference of B and Z Users, Turku.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2003
Additional Information:
Event Dates: June
Venue - Dates:
ZB 2003: Third International Conference of B and Z Users, Turku, 2003-06-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 258676
URI: http://eprints.soton.ac.uk/id/eprint/258676
PURE UUID: 306edaaf-d0cc-4d72-a456-33d78f3c1b9b
Catalogue record
Date deposited: 29 Apr 2004
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Carla Ferreira
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics