Logical Concurrency Control from Sequential Proofs.

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Browse the full ESOP paper archive.