李慧霸, 田甜, 彭宇行, 等. 网络程序设计中的并发复杂性[J]. 软件学报, 2011, 22(1): 132-148. Li Huiba, Tian Tian, Peng Yuxing, et al. Concurrency-related complexities in network programming[J]. Journal of Software, 2011, 22(1): 132-148.
[2]
Dunkels A, Schmidt O, Voigt T, et al. Protothreads:simplifying event-driven programming of memory-constrained embedded systems//Proceedings of the 4th SenSys. Boulder: ACM, 2006: 29-42.
[3]
Bernauer A, Romer K, Santini S, et al. Threads2events: an automatic code generation approach//Proceedings of the 6th HotEmNets. Killarney: ACM, 2010: 81-85.
[4]
Sundaram V, Eugster P, Zhang Xiangyu. Efficient diagnostic tracing for wireless sensor networks//Proceedings of the 8th SenSys. Zurich: ACM, 2010: 169-182.
[5]
Archer W, Levis P, Regehr J. Interface contracts for tinyos//Proceedings of the 6th IPSN. Cambridge: ACM, 2007: 158-165.
[6]
Noubir G, Vijayananda K, Nussbaumer H J. Signature-based method for run-time fault detection in communication protocols[J]. Computer Communications, 1998, 21(5): 405-421.
