Searching for authors named "Hongli Yang" – sorted by Relevance.
-
Towards the formal model and verification of web service choreography description language
- ⋆ Xiangpeng Zhao, Hongli Yang, and Zongyan Qiu LMAM and Department of Informatics, School of Math., Peking
- Cited by 10 (1 self) – Add To MetaCart
-
Type checking choreography description language
- Type Checking Choreography Description Language ⋆ Hongli Yang 1 , Xiangpeng Zhao 1 , Zongyan Qiu 1
- Cited by 2 (0 self) – Add To MetaCart

