Publication:4222746
From MaRDI portal
zbMath0910.68130MaRDI QIDQ4222746
Paolo Baldan, Fabio Alessi, Gianna Bellè, Jan J. M. M. Rutten
Publication date: 9 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#alessi
68Q55: Semantics in the theory of computing
Related Items
Elements of generalized ultrametric domain theory, A fixed-point theorem in a category of compact metric spaces, A characterization of distance between 1-bounded compact ultrametric spaces through a universal space, Topology, domain theory and theoretical computer science, The equational logic of fixed points, Recursively defined metric spaces without contraction