Logical Concurrency Control from Sequential Proofs

In  Logical Methods in Computer Science (LMCS)

Details

TypeArticle
Volume7
Number3
> Publications > Logical Concurrency Control from Sequential Proofs