Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Michell Guzmán, Sophia Knight, Santiago Quintero +3

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…