Executable Semantics for Compensating CSP


Butler, Michael and Ripon, Shamim, (2005) Executable Semantics for Compensating CSP Bravetti, Mario, Kloul, Leïla and Zavattaro, Gianluigi (eds.) At 2nd International Workshop on Web Services and Formal Methods. , 243- 256. (doi:10.1007/11549970_18).

Download

[img] PDF cCSP-final.pdf - Other
Download (142kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/11549970_18
Additional Information: Event Dates: September 2005
Venue - Dates: 2nd International Workshop on Web Services and Formal Methods, 2005-09-01
Organisations: Electronic & Software Systems
ePrint ID: 260843
Date :
Date Event
May 2005Published
Date Deposited: 06 May 2005
Last Modified: 17 Apr 2017 22:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260843

Actions (login required)

View Item View Item