A Lock Based Algorithm for Concurrency Control and Recovery in a Middleware Replication Software Architecture | IEEE Conference Publication | IEEE Xplore