Atomicity failure and the retrenchment atomicity pattern

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput., 25(3):439-464, 2013. [doi]

Authors

Richard Banach

This author has not been identified. Look up 'Richard Banach' in Google

Czeslaw Jeske

This author has not been identified. Look up 'Czeslaw Jeske' in Google

Anthony Hall

This author has not been identified. Look up 'Anthony Hall' in Google

Susan Stepney

This author has not been identified. Look up 'Susan Stepney' in Google