1: \begin{abstract}
2: Spatial constraint systems (scs) are semantic structures for reasoning about
3: spatial and epistemic information in concurrent systems. We develop the theory
4: of scs to reason about the \emph{distributed information} of potentially
5: \emph{infinite groups}. We characterize the notion of distributed information
6: of a group of agents as the infimum of the set of join-preserving functions
7: that represent the spaces of the agents in the group. We provide an
8: alternative characterization of this notion as the greatest family of
9: join-preserving functions that satisfy certain basic properties. For
10: completely distributive lattices, we establish that the distributed
11: information of $c$ amongst a group is the greatest lower bound of all possible
12: combinations of information in the spaces of the agents in the group that
13: derive $c$. We show compositionality results for these characterizations and
14: conditions under which information that can be obtained by an infinite group
15: can also be obtained by a finite group. Finally, we provide an application on
16: mathematical morphology where dilations, one of its fundamental operations,
17: define an scs on a powerset lattice. We show that distributed information
18: represents a particular dilation in such scs.
19: \end{abstract}
20: