![](/img/cover-not-exists.png)
Reasoning about knowledge and messages in asynchronous multi-agent systems
KNIGHT, SOPHIA, MAUBERT, BASTIEN, SCHWARZENTRUBER, FRANÇOISLanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129517000214
Date:
November, 2017
File:
PDF, 1.27 MB
english, 2017