Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference48 articles.
1. The existence of refinement mappings;Abadi;Theoret. Comput. Sci.,1991
2. Composing specifications;Abadi;ACM Trans. Programming Lang. Syst.,1993
3. An overview of the SR language and implementation;Andrews;ACM Trans. Programming Lang. Syst.,1988
4. Appraising fairness in languages for distributed programming;Apt;Distrib. Comput.,1988
5. On fairness as an abstraction for the design of distributed systems;Attie,1990
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献