Author:
Baeten J.C.M.,Bergstra J.A.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference20 articles.
1. Conditional axioms and αβ calculus in process algebra;Baeten,1987
2. On the consistency of Koomen's fair abstraction rule;Baeten;Theoret. Comput. Sci.,1987
3. Another look at abstraction in process algebra;Baeten,1987
4. Processes and the denotational semantics of concurrency;de Bakker;Inform. and Control,1982
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献