Semantic Structures for Spatially-Distributed Multi-Agent Systems

Frank Valencia
(CNRS-LIX, Ecole Polytechnique de Paris and Univ. Javeriana Cali.)

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.

Invited Presentation in Jorge A. Pérez and Jurriaan Rot: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The Netherlands, 26th August 2019, Electronic Proceedings in Theoretical Computer Science 300, pp. 39–53.
This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk.
Published: 22nd August 2019.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: