Author:
Bodeveix J. -P.,Filali M.,Roche P.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. A. Arnold. Systèmes de transitions finis et sémantiques des processus communicants. Etudes et recherches en informatique. MASSON, 1992.
2. M.J.C. Gordon and T.F. Melham. Introduction to HOL. Cambridge University Press, 1994.
3. D. Litaize. Architectures multiprocesseurs à mémoire commune. In Deuxième symposium architectures nouvelles de machines, pages 1–40, sep 1990.
4. P. Loewenstein. A formal theory of simulations between infinite automata. Formal methods in system design, 3:117–149, 1993.
5. N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of the sixth annual ACM symposium on principles of distributed computing, pages 137–151, aug 1987.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the refinement of symmetric memory protocols;Higher Order Logic Theorem Proving and Its Applications;1995