Author:
Ying Mingsheng,Wirsing Martin
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. A. Arnold and M. Nivat. Metric Interpretations of Infinite Trees and Semantics of Nondeterministic Recursive Programs. Theoretical Computer Science, 11:181–205, 1980.
2. A. Arnold and M. Nivat. The Metric Space of Infinite Trees, Algebraic and Topological Properties. Fundamenta Informaticae, 4:445–476, 1980.
3. J. C. M. Baeten and J. Bergstra. Real-Time Process Algebra. Formal Aspects of Computing, 3:142–188, 1991.
4. J. W. de Bakker and J. J. M. M. Rutten, editors. Ten Years of Concurrency Semantics, Selected Papers of the Amsterdam Concurreny Group. World Scientific, Singapore, 1992.
5. J. W. de Bakker and J. I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control, 54:70–120, 1982.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献