Jinjin Zhang

Process Calculus of Epistemic Systems

In the analysis and design of multi-agent systems, the representation and communication of knowledge is a critical challenge. The traditional methods of the past, such as dynamic epistemic logic, often lack a process algebraic perspective for modeling concurrent belief-driven interactions. This paper proposes the Calcu...