An extension of process calculus for asynchronous communications between agents with epistemic states

Open in new window