Yuanrui Zhang, Frédéric Mallet, Yixiang Chen. Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 201-208, IEEE, 2014. [doi]
Abstract is missing.