There are many possible extensions to this work. First, in the case of a
non-positively curved precubical set, as used in the geometric semantics of
programs in Section REF , we believe that the coreflexion of the
adjunction between (some form of labeled) precubical sets and (labeled) prime
event structures of [1]} is directly linked to the
universal dicovering in the sense of [2]}. This would enlighten the
relationship between these two models, in case we are dealing with concurrent
programs with mutual exclusion primitives.
