Describir: Concurrency control and reliability in distributed systems /