On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

Hengyang Wu, Yixiang Chen, Min Zhang

Browse the full TASE paper archive.