DMCA

Executable semantics for compensating CSP (2005)

Cached

Download Links

by Michael Butler , Shamim Ripon
Venue:In: Proc. of the 2nd Int’l Workshop on Web Services and Formal Methods. LNCS 3670
Citations:9 - 4 self