GitHub repository: xinzhouDream/PosteriorSI
Primary language: C
Description: posterior snapshot isolation with SID considered