APA (7th ed.) Citation
(2011). Logical Concurrency Control from Sequential Proofs. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Logical Concurrency Control from Sequential Proofs." Logical Methods in Computer Science 2011.
MLA (9th ed.) Citation
"Logical Concurrency Control from Sequential Proofs." Logical Methods in Computer Science, 2011.
Warning: These citations may not always be 100% accurate.