UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes

van Breugel, Franck (1997) Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (71Kb)

    Abstract

    Well-known metric spaces for modelling finitely branching and image finite systems are shown to be (the carrier of) terminal coalgebras.

    Item Type: Book
    Uncontrolled Keywords: metric space, terminal coalgebra, finitely branching, image finite, linear process
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 23 Jan 2015 11:14
    Last Modified: 23 Jan 2015 11:14
    URI: http://eprints.adm.unipi.it/id/eprint/1984

    Repository staff only actions

    View Item