Subject
General Computer Science,Theoretical Computer Science
Reference75 articles.
1. Théorie des magmoïdes;Arnold;RAIRO Inform. Théor.,1978
2. Metric interpretations of infinite trees and semantics of non deterministic recursive programs;Arnold;Theoret. Comput. Sci.,1980
3. The metric space of infinite trees. Algebraic and topological properties;Arnold;Fund. Inform.,1980
4. Definable operations in general algebras, and the theory of automata and flowcharts;Bekić,1969
5. S. Bloom, All solutions of a system of recursion equations in infinite trees and other contraction theories, J. Comput. System Sci., to appear.
Cited by
370 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Un-projectable Global Types for Multiparty Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Checking equivalence of corecursive streams: An inductive procedure;Theoretical Computer Science;2024-09
4. Polymorphic higher-order context-free session types;Theoretical Computer Science;2024-06
5. Fair termination of multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2024-06