Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil Logical concurrency control from sequential proofs. (English) Zbl 1237.68060 Log. Methods Comput. Sci. 7, No. 3, Paper No. 10, 29 p. (2011). MSC: 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 10, 29 p. (2011; Zbl 1237.68060) Full Text: DOI
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil Logical concurrency control from sequential proofs. (English) Zbl 1260.68091 Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 226-245 (2010). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Lect. Notes Comput. Sci. 6012, 226--245 (2010; Zbl 1260.68091) Full Text: DOI