English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
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  
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems Conference paper
Xie W., Zhu H., Xu Q.. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems[C], 2018, 50-59.
Authors:  Xie W.;  Zhu H.;  Xu Q.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/04/04
Algebraic Properties  Bigrtimo Calculus  Mobile Systems  Operational Semantics  
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst Conference paper
Xie, Wanting, Zhu, Huibiao, Xu, Qiwen, IEEE. BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst[C], 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2017, 50-59.
Authors:  Xie, Wanting;  Zhu, Huibiao;  Xu, Qiwen;  IEEE
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2018/10/30
Bigrtimo Calculus  Mobile Systems  Operational Semantics  Algebraic Properties