Logical Concurrency Control from Sequential Proofs

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

Details

Publication typeArticle
Published inLogical Methods in Computer Science (LMCS)
Volume7
Number3
> Publications > Logical Concurrency Control from Sequential Proofs