A process algebraic framework for multi-agent dynamic epistemic systems

Open in new window