2019/08/23 by Frank Valencia
Computer Science · #cs.DC #cs.LO #cs.MA
paper · pdf · doi:10.4204/eptcs.300.3
published as EPTCS 300, 2019, pp. 39-53 · In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213. This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk
arxiv created 2019/08/23 · arxiv updated 2019/08/26
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.