pith.
Research
Integrity
Review
Pre-print
sign in
Physics
Mathematics
Computer Science
Biology
Finance
Statistics
Systems
Economics
authors
/ Steven Cheng
Steven Cheng
Identifiers
name variant
Steven Cheng
0.60 · backfill
Papers (1)
Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations
cs.DC · 2013 · author #1
Mentions
1306.0077
#1 · backfill · confidence 0.70
Steven Cheng
Frequent Coauthors
Jalal Kawash
1 shared papers
Lisa Higham
1 shared papers