Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. P. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Denotational Semantics of a Parallel Object-Oriented Language. Information and Computation, 83(2): 152–205, November 1989.
2. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy. Explicit Substitutions. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages, pages 31–46, San Francisco, January 1990.
3. E. Astesiano, A. Giovini, and G. Reggio. Observational Structures and their Logics. Theoretical Computer Science, 96(1):249–283, April 1992.
4. E. Astesiano and G. Reggio. SMoLCS-driven Concurrent Calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proceedings of the International Joint Conference on Theory and Practice of Software Development, volume 249 of Lecture Notes in Computer Science, pages 169–201, Pisa, March 1987. Springer-Verlag.
5. 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(3):343–375, December 1989.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Theory of Metric Labelled Transition Systems;Annals of the New York Academy of Sciences;1996-12