Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)
Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372–385 (1996)
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)
Sangiorgi, D., Walker, D.: Pi-calculus: A theory of mobile processes. Cambridge University Press, New York, NY, USA (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maludziński, S.P., Dobrowolski, G. (2007). Agent Environment and Knowledge in Distributed Join Calculus. In: Burkhard, HD., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science(), vol 4696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75254-7_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-75254-7_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75253-0
Online ISBN: 978-3-540-75254-7
eBook Packages: Computer ScienceComputer Science (R0)