English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Trace Semantics and Algebraic Laws for Total Store Order Memory Model Journal article
Xiao, Li Li, Zhu, Hui Biao, Xu, Qi Wen. Trace Semantics and Algebraic Laws for Total Store Order Memory Model[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2021, 36(6), 1269-1290.
Authors:  Xiao, Li Li;  Zhu, Hui Biao;  Xu, Qi Wen
Favorite | TC[WOS]:1 TC[Scopus]:3  IF:1.2/1.7 | Submit date：2022/01/14
Weak Memory Model  Total Store Order (Tso)  Trace Semantics  Algebraic Law  Unifying Theories Of Programming (Utp)  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, W.L., Zhu, H.B., Xu, Q. W.. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, W.L.;  Zhu, H.B.;  Xu, Q. W.
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2022/08/17
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking