MYWOT
Child safety
Confidence
Trustworthiness
Confidence
MALICIOUS CONTENT INDICATORS
Lcs.ios.ac.cn most likely does not offer any malicious content.
Secure connection support
HTTPS
Lcs.ios.ac.cn provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Lcs.ios.ac.cn most likely does not offer any adult content.
Popular pages
- State Key Laboratory of Computer Science
-
Bohua Zhan's Home Page
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP ACM Transactions on Software Engineering and Methodology 32(1): 9:1-9:48 published version Xiong Xu, Bohua Zhan, Shuling Wa...
-
Liang Du's homepage
Liang Du, Homepage, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
-
Dr. Bai Xue | Homepage
A beautiful Jekyll theme for academics
-
Welcome to Xiaoxiao Yang's Homepage!
cited by POPL’2019, POPL’2020 etc. In this paper, we first proposed the idea using (divergence-sensitive) branching bisimulation to verify linearizability as well as progress properties. The ide...
-
Yi Lv's Homepage
1993.8-1997.7:assistant engineer at Nanjing Research Institute of Electronics Technology Publications Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu. Decidability of Liveness for Con...