An Epistemic Separation Logic.

Jean-Ren Courtault, Hans van Ditmarsch, Didier Galmiche

Browse the full WoLLIC paper archive.