TERMINAL METRIC-SPACES OF FINITELY BRANCHING AND IMAGE FINITE LINEAR-PROCESSES

Authors
Citation
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
ISSN journal
03043975
Volume
202
Issue
1-2
Year of publication
1998
Pages
223 - 230
Database
ISI
SICI code
0304-3975(1998)202:1-2<223:TMOFBA>2.0.ZU;2-0
Abstract
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.