Courtault, J. R.; van Ditmarsch, H.; Galmiche, D. A public announcement separation logic. (English) Zbl 1456.03030 Math. Struct. Comput. Sci. 29, No. 6, 828-871 (2019). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Knight, Sophia; Maubert, Bastien; Schwarzentruber, François Reasoning about knowledge and messages in asynchronous multi-agent systems. (English) Zbl 1407.68471 Math. Struct. Comput. Sci. 29, No. 1, 127-168 (2019). MSC: 68T27 03B42 68Q60 68T42 × Cite Format Result Cite Review PDF Full Text: DOI