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

Get the Android app

Or read this on Eureka Alert

Read more on:

Photo of epistemic states

epistemic states

Photo of Extension

Extension

Photo of process calculus

process calculus

Related news:

News photo

Access to genomic medicine illustrates precis - EurekAlert

News photo

The American Society of Plant Biologists names 2024 award recipients - EurekAlert

News photo

Empowering Socially Vulnerable Children: Improved health knowledge and well-being after a 10-week Residential ... - EurekAlert