文章基本信息
- 标题:Specifying Strict Serializability of Iterated Transactions in Propositional Temporal Logic
- 作者:Walter Hussak
- 期刊名称:International Journal of Computer Science
- 出版年度:2007
- 卷号:2
- 期号:02
- 出版社:World Enformatika Society
- 关键词:Temporal Logic; Iterated Transactions; Serializability.
![](images/loading.gif)
Loading...