Login / Signup

Reasoning about knowledge and messages in asynchronous multi-agent systems.

Sophia KnightBastien MaubertFrançois Schwarzentruber
Published in: Math. Struct. Comput. Sci. (2019)
Keyphrases