Agent Environment and Knowledge in Distributed Join Calculus

  • Sławomir P. Maludziński
  • Grzegorz Dobrowolski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4696)


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.


Agent Environment Mobile Agent Operational Semantic Reduction Rule Concurrent System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Berry, G., Boudol, G.: The chemical abstract machine. In: POPL 1990. Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 81–94. ACM Press, New York (1990)CrossRefGoogle Scholar
  2. Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372–385 (1996)Google Scholar
  3. 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
  4. Sangiorgi, D., Walker, D.: Pi-calculus: A theory of mobile processes. Cambridge University Press, New York, NY, USA (2001)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Sławomir P. Maludziński
    • 1
  • Grzegorz Dobrowolski
    • 1
  1. 1.Department of Computer Science, AGH University of Science and Technology 

Personalised recommendations