Author:
Bodeveix J. -P.,Filali M.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. J. Archibald and J.-L. Baer. Cache coherence protocols: Evaluation using a multiprocessor simulation model. ACM Transactions on Computer Systems, 4(4):273–298, nov 1986.
2. F. Andersen, K. D. Petersen, and J.S. Pettersson. Program verification using HOL-UNITY. In Higher Order Logic Theorem Proving and its Applications, volume 780 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
3. G. Berry and L. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. volume 197 of Lecture Notes in Computer Science, pages 389–448, Berlin, Germany, 1984. Springer-Verlag.
4. J.-P. Bodeveix, M. Filali, and P. Roche. Towards a HOL theory of memory. In Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science, pages 49–64. Springer-Verlag, sep 1994.
5. K.M. Chandy and J. Misra. Parallel Program Design, A Foundation. Addison-Wesley, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献