Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes

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

[1]  C. Kuratowski,et al.  Sur une méthode de métrisation complète de certains espaces d'ensembles compacts , 1956 .

[2]  Jan J. M. M. Rutten,et al.  On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders , 1992, REX Workshop.

[3]  B. Jacobs,et al.  A tutorial on (co)algebras and (co)induction , 1997 .

[4]  Michael Barr,et al.  Terminal Coalgebras in Well-Founded Set Theory , 1993, Theor. Comput. Sci..

[5]  J. W. de Bakker,et al.  Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..

[6]  J. W. de Bakker,et al.  Metric Pomset Semantics for a Concurrnt Language with Recursion , 1990, Semantics of Systems of Concurrent Processes.

[7]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[8]  R. J. vanGlabbeek.  The linear time - branching time spectrum , 1990 .

[9]  F. Hausdorff.  Grundzüge der Mengenlehre , 1914 .

[10]  Pierre America,et al.  Solving Reflexive Domain Equations in a Category of Complete Metric Spaces , 1989, J. Comput. Syst. Sci..

[11]  Matthew Hennessy,et al.  Full Abstraction for a Simple Parallel Programming Language , 1979, MFCS.

[12]  J. W. de Bakker,et al.  Compactness in Semantics for Merge and Fair Merge , 1983, Logic of Programs.

[13]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[14]  R. Baire,et al.  Sur la représentation des fonctions discontinues , 1906 .

[15]  J. W. de Bakker,et al.  Four Domains for Concurrency , 1991, Theor. Comput. Sci..

[16]  R. Baire.  Sur la représentation des fonctions discontinues , 1906 .

[17]  Erik P. de Vink,et al.  Control flow semantics , 1996 .

[18]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[19]  D. König.  Sur les correspondances multivoques des ensembles , 2022 .

[20]  R. Milner.  Mathematical Centre Tracts , 1976 .

[21]  Jan J. M. M. Rutten,et al.  Initial Algebra and Final Coalgebra Semantics for Concurrency , 1993, REX School/Symposium.

[22]  Amir Pnueli,et al.  Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.