F. Vanbreugel, TERMINAL METRIC-SPACES OF FINITELY BRANCHING AND IMAGE FINITE LINEAR-PROCESSES, Theoretical computer science, 202(1-2), 1998, pp. 223-230
Citations number
27
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
Well-known metric spaces for modelling finitely branching and image fi
nite systems are shown to be (the carrier of) terminal coalgebras. (C)
1998 - Elsevier Science B.V. All rights reserved.