Cited By
View all- Xie WZhu HWu X(2023)A Timed Calculus with Mobility for Wireless NetworksProceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things10.1145/3603781.3603896(653-657)Online publication date: 26-May-2023
- Jiang YLiu SEhrhard T(2019)A fully abstract semantics for value-passing CCS for treesFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-018-7069-113:4(828-849)Online publication date: 17-Jul-2019
- Xie WZhu HWu XVinh P(2019)Formal Verification of mCWQ Using Extended Hoare LogicMobile Networks and Applications10.1007/s11036-018-1142-824:1(134-144)Online publication date: 1-Feb-2019
- Show More Cited By