On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC | IEEE Conference Publication | IEEE Xplore