Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems (1997)

by A F Zorzo, A Romanovsky, J Xu, B Randell, R J Stroud, I S Welch
Venue:In DeVa - Design for Validation - Second Year Report, ESPRIT Long Term Research Project 20072