Consistency guarantees for recovery of service-oriented distributed processing. (1st January 2013)