Reasoning about knowledge and messages in asynchronous multi-agent systems

Sophia Knight, Bastien Maubert, François Schwarzentruber

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Fingerprint

Dive into the research topics of 'Reasoning about knowledge and messages in asynchronous multi-agent systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science