Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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