English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
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