Agent Environment and Knowledge in Distributed Join Calculus
Distributed join calculus can be used to formally reason about concurrent systems. This paper introduces notion of an environment where agents interact. Based on the introduced formalisms a notion of knowledge which is exchanged by facts and common to all agents is presented. Introduction of the environment and knowledge extends number of agent system which can be expressed using join calculus algebra.
Unable to display preview. Download preview PDF.
- Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372–385 (1996)Google Scholar
- Fournet, C., Gonthier, G., Lévy, J.-J., Maranget, L., Rémy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, Springer, Heidelberg (1996)Google Scholar