Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche. An Epistemic Separation Logic. In Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira, editors, Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Volume 9160 of Lecture Notes in Computer Science, pages 156-173, Springer, 2015. [doi]
@inproceedings{CourtaultDG15,
title = {An Epistemic Separation Logic},
author = {Jean-René Courtault and Hans van Ditmarsch and Didier Galmiche},
year = {2015},
doi = {10.1007/978-3-662-47709-0_12},
url = {http://dx.doi.org/10.1007/978-3-662-47709-0_12},
researchr = {https://researchr.org/publication/CourtaultDG15},
cites = {0},
citedby = {0},
pages = {156-173},
booktitle = {Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings},
editor = {Valeria de Paiva and Ruy J. G. B. de Queiroz and Lawrence S. Moss and Daniel Leivant and Anjolina Grisi de Oliveira},
volume = {9160},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-47708-3},
}