The Contraction Property is Sufficient to Guarantee the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces
暂无分享,去创建一个
[1] William C. Rounds,et al. Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees , 1983, Inf. Control..
[2] Mila E. Majster-Cederbaum,et al. On the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces , 1988, Inf. Process. Lett..
[3] C. A. R. Hoare,et al. Semantics of Nondeterminism, Concurrency, and Communication , 1979, J. Comput. Syst. Sci..
[4] J. W. de Bakker,et al. Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..
[5] Pierre America,et al. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces , 1987, J. Comput. Syst. Sci..
[6] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[7] Gordon D. Plotkin,et al. The category-theoretic solution of recursive domain equations , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[8] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.