James E. Vesely

• Concurrency control in distributed systems with applications to long-lived transactions and partitioned networks