共 50 条
- [45] Purity and Equational Compactness of Projection Algebras Applied Categorical Structures, 2001, 9 : 381 - 394
- [49] An equational theory for transactions FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 38 - 49