1 results
Reasoning about knowledge and messages in asynchronous multi-agent systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 1 / January 2019
- Published online by Cambridge University Press:
- 10 November 2017, pp. 127-168
-
- Article
- Export citation