Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference13 articles.
1. On the consistency of Koomen's fair abstraction rule;Baeten;J. Theor. Comput. Sci.,1987
2. A theory of communicating sequential processes;Brookes,1984
3. A complete inference system for regular processes with silent moves;Bergstra,1988
4. Acceptance trees;Hennessy;J. Assoc. Comput. Mach.,1985
5. Algebraic laws for nondeterminism and concurrency;Hennessy;J. Assoc. Comput. Mach.,1985
Cited by
109 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献