An Epistemic Logic Based Synthesis of Communication Services and Protocols.

Omar Amyay, Guy Juanole, Stella Zwecker

Browse the full ICDCS paper archive.