Read news on epistemic states with our app.
Read more in the app
An extension of process calculus for asynchronous communications between agents with epistemic states - EurekAlert