Author:
Charpentier Michel,Filali Mamoun,Mauran Philippe,Padiou Gérard,Quéinnec Philippe
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. M. Accetta, R. Baron, D. Golub, R.F. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNIX development. In Summer USENIX Conf., pages 93–112, 1986.
2. G.R. Andrews, R.A. Olsson, M. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend. An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems, 10(1):51–86, January 1988.
3. A. Arora and M.G. Gouda. Delay-Insensitive stabilization. In S. Ghosh and T. Herman, editors, Self-Stabilizing Systems, volume 7 of International informatics series, pages 95–109. Carleton university press, 1997.
4. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
5. M. Charpentier. A UNITY mapping operator for distributed programs. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Fourth International Symposium of Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 665–684. Springer-Verlag, September 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献