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