Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 39-53 |
| Number of pages | 15 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 300 |
| DOIs | |
| Publication status | Published - 22 Aug 2019 |
| Event | Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019 - Amsterdam, Netherlands Duration: 26 Aug 2019 → … |