1. Archibald, J., Baer, J.-L.: Cache coherence protocols: evaluation using a multiprocessor simulation model. ACM Transactions on Computer Systems (TOCS) 4(4), 273–298 (1986)
2. Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C., Zwiers, J.: Verifying sequentially consistent memory. Computing Science Reports 94-44, Eindhoven University of Technology (1994)
3. Clarke, E.M., Grumberg, O., Hiraishi, H., Jha, S., Long, D.E., McMillan, K.L., Ness, L.A.: Verification of the Futurebus+ cache coherence protocol. Formal Methods in System Design 6, 217–232 (1995)
4. Engelhardt, K., van der Meyden, R., Moses, Y.: Knowledge and the logic of local propositions. In: Gilboa, I. (ed.) Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998), pp. 29–41. Morgan Kaufmann, San Francisco (1998)
5. Engelhardt, K., van der Meyden, R., Moses, Y.: A program refinement framework supporting reasoning about knowledge and time. In: Foundations of Software Science and Computation Structures, pp. 114–129 (2000)