Volume: Vol-3811 ICTCS 2024 | Year: 2024

Paper: | paper010 |


A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems

269-283 PDF