Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

  1. Home
  2. search page
  3. affiliation

Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

국가: Andorra
주요 연구 분야: Verification
주요 키워드: #propose #verification #deterministic
주요 저자:
#Chao Wang #Peng Wu #Gustavo Petri #Qiaowen Jia #Youlin He

📄 기관 상세정보

출판수1
총 인용수0
평균 인용수0.00
저자 수7
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)

Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects
저자: Chao Wang , Peng Wu , Gustavo Petri , Qiaowen Jia , Youlin He , Yi Lv , Zhiming Liu
키워드: #propose #verification #deterministic #linearizability #permutative
파트: Verification | 연도: 2024