Arnold, Andre; Nivat, Maurice The metric space of infinite trees. Algebraic and topological properties. (English) Zbl 0453.68021 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 445-475 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 31 Documents MSC: 68Q99 Theory of computing 68Q60 Specification and verification (program logics, model checking, etc.) 68Q55 Semantics in the theory of computing 54H99 Connections of general topology with other structures, applications 68N01 General topics in the theory of software Keywords:ultrametric spaces; algebraic semantics; nondeterministic programs; infinite computation sequence; computation domain; infinite trees; complete partially ordered F-magmas; F-algebras; complete metric F-magmas PDF BibTeX XML Cite \textit{A. Arnold} and \textit{M. Nivat}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 445--475 (1980; Zbl 0453.68021) OpenURL