Software (theme 1)
IEEE Computer Society
IEEE Transactions on Service Computing
Computer Security

Kokash, N, & Arbab, F. (2012). Formal design and verification of long-running transactions with eclipse coordination tools. IEEE Transactions on Service Computing.