Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference25 articles.
1. Solving reflexive domain equations in a category of complete metric spaces;America;Journal of Computer and System Sciences,1989
2. The metric space of infinite trees, algebraic and topological properties;Arnold;Fundamenta Informaticae,1980
3. Mathematical Theory of Program Correctness;de Bakker,1980
4. Linear time and branching time semantics for recursion with merge;de Bakker;Theoretical Computer Science,1984
5. Ten Years of Concurrency Semantics, selected papers of the Amsterdam Concurrency Group,1992
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献