@inproceedings{deshmukh_logical_2010,
    title={{Logical concurrency control from sequential proofs}},
    author={Deshmukh, J. and Ramalingam, G. and Ranganath, V.P. and Vaswani, K.},
    booktitle = {Proc. of European Symposium on Programming},
    pages={226--245},
    year={2010},
}