Han-Hing Dang, Peter Höfner, Bernhard Möller. Algebraic separation logic. Journal of Logic and Algebraic Programming, 80(6):221-247, 2011. [doi]
@article{DangHM11, title = {Algebraic separation logic}, author = {Han-Hing Dang and Peter Höfner and Bernhard Möller}, year = {2011}, doi = {10.1016/j.jlap.2011.04.003}, url = {http://dx.doi.org/10.1016/j.jlap.2011.04.003}, tags = { algebra, logic}, researchr = {https://researchr.org/publication/DangHM11}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {80}, number = {6}, pages = {221-247}, }