Get the latest Science News and Discoveries
An extension of process calculus for asynchronous communications between agents with epistemic states - EurekAlert
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 presents the e-calculus to model epistemic interactions between agents with epistemic states.
None
Or read this on Eureka Alert