Tong Zheng (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Ferhat Khendek, Tong Zheng: Modeling and analysis of value added services using message sequence charts. J. Network and Computer Applications 31(3): 338-356 (2008)

7 Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng: Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM 2004: 106-121

6 Tong Zheng, Ferhat Khendek, Benoit Parreaux: Refining Timed MSCs. SDL Forum 2003: 234-250

4 Tong Zheng, Ferhat Khendek: Time consistency of MSC-2000 specifications. Computer Networks 42(3): 303-322 (2003)

2 Tong Zheng, Ferhat Khendek: An Extension for MSC-2000 and Its Application. SAM 2002: 221-232

1 Tong Zheng, Ferhat Khendek, Loïc Hélouët: A Semantics for Timed MSC. Electr. Notes Theor. Comput. Sci. 65(7): (2002)

Selection of 6 from 11 records - Tong Zheng has 12 coauthors

11		Ferhat Khendek, Tong Zheng: Modeling and analysis of value added services using message sequence charts. J. Network and Computer Applications 31(3): 338-356 (2008)
7		Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng: Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM 2004: 106-121
6		Tong Zheng, Ferhat Khendek, Benoit Parreaux: Refining Timed MSCs. SDL Forum 2003: 234-250
4		Tong Zheng, Ferhat Khendek: Time consistency of MSC-2000 specifications. Computer Networks 42(3): 303-322 (2003)
2		Tong Zheng, Ferhat Khendek: An Extension for MSC-2000 and Its Application. SAM 2002: 221-232
1		Tong Zheng, Ferhat Khendek, Loïc Hélouët: A Semantics for Timed MSC. Electr. Notes Theor. Comput. Sci. 65(7): (2002)