Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. P. America and J.J.M.M. Rutten. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Journal of Computer and System Sciences, 39:343–375, 1989.
2. A. Arnold and M. Nivat. Metric Interpretations of Infinite Trees and Semantics of Nondeterministic Recursive Programs. Theoretical Computer Science, 11:181–205, 1980.
3. J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing, 3:142–188, 1991.
4. J.W. de Bakker, J.A. Bergstra, J.W. Klop, and J.-J.Ch. Meyer. Linear Time and Branching Time Semantics for Recursion with Merge. Theoretical Computer Science, 34:135–156, 1984.
5. J.W. de Bakker and F. van Breugel. Topological Models for Higher Order Control Flow. Report CS-R9340, CWI, Amsterdam, 1993. To appear in Proceedings of MFPS 93.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Complete Approximation Theory for Weighted Transition Systems;Dependable Software Engineering: Theories, Tools, and Applications;2016
2. A Theory of Metric Labelled Transition Systems;Annals of the New York Academy of Sciences;1996-12