Through enriching the well-known π-calculus by adding the operators for passing basic facts and applying the well-known action model logic to describe agents’ epistemic states, this paper ...

Research team proposed the e-calculus, a process calculus for modeling epistemic interactions between agents in concurrency situations. It captures asynchrony via a shared buffer pool and has ...