可逆基本事件结构的分布式操作视图| IEEE会议出版物| IEEE Xplore