Author:
Alessi F.,Baldan P.,Bellè G.,Rutten J.J.M.M.
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. F. Alessi, P. Baldan, and G. Bellè. A fixed point theorem in a category of compact metric spaces. To appear in TCS.
2. Metric interpretations of infinite trees and semantics of nondeterministic recursive programs;Arnold;Theoretical Computer Science,1980
3. Solving reflexive domain equations in a category of complete metric spaces;America;Journal of Computer and System Sciences,1989
4. F. van Breugel and J. H. A. Warmerdam. Solving domain equations in a category of compact spaces. Report CS-R9424, CWI, Amsterdam, April 1994.
5. Processes and the denotational semantics of concurrency;de Bakker;Information and Control,1982
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献