Dang, Han-Hing; Möller, Bernhard B. Extended transitive separation logic. (English) Zbl 1330.03071 J. Log. Algebr. Methods Program. 84, No. 3, 303-325 (2015). MSC: 03B70 03G25 68P05 PDFBibTeX XMLCite \textit{H.-H. Dang} and \textit{B. B. Möller}, J. Log. Algebr. Methods Program. 84, No. 3, 303--325 (2015; Zbl 1330.03071) Full Text: DOI
Dang, Han-Hing; Möller, Bernhard Transitive separation logic. (English) Zbl 1330.03070 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 1-16 (2012). MSC: 03B70 03G25 68P05 PDFBibTeX XMLCite \textit{H.-H. Dang} and \textit{B. Möller}, Lect. Notes Comput. Sci. 7560, 1--16 (2012; Zbl 1330.03070) Full Text: DOI Link
Dang, H.-H.; Höfner, P.; Möller, B. Algebraic separation logic. (English) Zbl 1260.03060 J. Log. Algebr. Program. 80, No. 6, 221-247 (2011). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{H. H. Dang} et al., J. Log. Algebr. Program. 80, No. 6, 221--247 (2011; Zbl 1260.03060) Full Text: DOI