定时原子承诺的语言结构| IEEE会议出版物| IEEE Xplore