Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. Automatic translation of FORTRAN programs to vector form;Allen;ACM Trans. Programming Languages and Systems,1987
2. Appraising fairness in languages for distributed programming;Apt;Distrib. Comput.,1988
3. Proving assertions about parallel programs;Ashkroft;J. Comput. System Sci.,1975
4. Refining atomicity in parallel algorithms;Back;Åbo Akademi,1988
5. Stepwise refinement of action systems;Back,1989
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献