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 ...

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 ...

Víctor GOMEZ PIN, ONTOLOGÍA E HISTORIA DEL CALCULUS (La tarea de Abraham Robinson), Theoria: An International Journal for Theory, History and Foundations of Science, SEGUNDA EPOCA, Vol. 2, No. 4 ...