Formal Design and Verification of Long-Running Transactions with Eclipse Coordination (2011)

by N Kokash, F Arbab
Venue:Tools,” Services Computing, IEEE Transactions on