TY - RPRT TI - A process algebraic framework for multi-agent dynamic epistemic systems AU - Alessandro Aldini PY - 2025 UR - https://arxiv.org/abs/2407.17537 ID - 2407.17537 ER -