Additional Metadata
THEME Software (theme 1)
Publisher I.E.E.E.
Journal IEEE Transactions on Services Computing
Citation
Kokash, N, & Arbab, F. (2013). Formal design and verification of long-running transactions with extensible coordination tools. IEEE Transactions on Services Computing, 6(2), 186–200.