Zobrazeno 1 - 10
of 823
pro vyhledávání: '"Jiang Jian-Guo"'
Publikováno v:
Tongxin xuebao, Vol 30, Pp 94-98 (2009)
spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at
Externí odkaz:
https://doaj.org/article/84e2ab9a474549ffb071c109147a19ca
Autor:
Hao, Ke-Xin, Zhang, Ying-Jing, Zhong, Rui-Fang, Li, Yi-Meng, Wang, Ling, Chang, Xiao, Wang, Da-Wei, Jiang, Jian-Guo, Zhu, Wei
Publikováno v:
In Food Bioscience December 2024 62
Publikováno v:
In Algal Research December 2024 84
Publikováno v:
In Plant Physiology and Biochemistry December 2024 217
Publikováno v:
In International Journal of Biological Macromolecules December 2024 283 Part 3
Publikováno v:
In Enzyme and Microbial Technology December 2024 181
Publikováno v:
In International Journal of Biological Macromolecules November 2024 280 Part 4
Publikováno v:
In Food Bioscience June 2024 59
Publikováno v:
In Plant Physiology and Biochemistry June 2024 211
Publikováno v:
In Algal Research March 2024 78