1. Chen Y. STeC: a location–triggered specification language for real–time systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service–Oriented Real–Time Distributed Computing Workshops. 2012, 1–6
2. Wu H, Chen Y, Zhang M. On denotational semantics of spatialtemporal consistency language–STeC. In: Proceedings of International Symposium on Theoretical Aspects of Software Engineering. 2013, 113–120
3. Hoare C A R. Communicating sequential processes. Communications of the ACM, 1978, 21(8): 666–677
4. Milner R. A Calculus of Communicating Systems. Secaucus, NJ, USA: Springer–Verlag New York, 1982
5. Reed G M, Roscoe AW. A timed model for communicating sequential processes. Theoretical Computer Science, 1988, 58(1–3): 249–261