Journal of Computer Science and Technology

ISSN 1000-9000 e-ISSN 1860-4749 CN 11-2296/TP
Editor-in-Chief: Zhi-Wei Xu
Journal Home
Articles & Issues
Articles & Issues Latest Issue All Issues
× New Search
Advanced Search
Journal Home > Keyword
Keyword: TLA+
Search in: this journal | the platform
Regular Paper
Jupiter Made Abstract, and Then Refined
Heng-Feng Wei, Rui-Ze Tang, Yu Huang, Jian Lv
https://doi.org/10.1007/s11390-020-0516-0
Published: 30 November 2020
2020, 35 (6): 1343-1364
Regular Paper
Checking Causal Consistency of MongoDB
Hong-Rong Ouyang, Heng-Feng Wei, Hai-Xiang Li, [...], An-Qun Pan, Yu Huang << Fewer
https://doi.org/10.1007/s11390-021-1662-8
Published: 31 January 2022
2022, 37 (1): 128-146
total 2