Fundamenta Informaticae > 2010 > Vol. 101, nr 1/2 > 71-90
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. MOCHA: User Manual. In cMocha (Version 1.0.1) Documentation, 1998. http://mtc.epfl.ch/software-tools/mocha/doc/c-doc/
-
[2] J. Archibald and J.-l. Baer. Cache coherence protocols: Evaluation using a multiprocessor simulation model. ACM Transactions on Computer Systems, 4:273-298, 1986.
-
[3] K. Baukus and R. van der Meyden. A Knowledge Based Analysis of Cache Coherence. In Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM'04), LNCS 3308, pages 99-114, Springer-Verlag, 2004.