Executable Semantics for Compensating CSP

Butler, Michael and Ripon, Shamim (2005) Executable Semantics for Compensating CSP. In, 2nd International Workshop on Web Services and Formal Methods, Versailles, Springer, 243- 256.


[img] PDF
Download (138Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: September 2005
ISBNs: 3540287019
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 260843
Date Deposited: 06 May 2005
Last Modified: 27 Mar 2014 20:03
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:9
URI: http://eprints.soton.ac.uk/id/eprint/260843

Actions (login required)

View Item View Item