A process algebraic framework for multi-agent dynamic epistemic systems