共 50 条
- [32] Automated Architecture Consistency Checking for Model Driven Software Development ARCHITECTURES FOR ADAPTIVE SOFTWARE SYSTEMS, 2009, 5581 : 36 - 51
- [33] Consistency, Independence and Consequences in UML and OCL Models TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 90 - 104
- [34] A suite of definitions for consistency criteria in distributed shared memories ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1997, 52 (11-12): : 652 - 661
- [35] Verification methods for weaker shared memory consistency models PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 985 - 992
- [36] The pilgrim: A new consistency protocol for distributed shared memory ICA(3)PP 97 - 1997 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, 1997, : 253 - 264
- [37] A lattice based framework of shared memory consistency models 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 703 - 706
- [40] An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 272 - 289