Terminal metric spaces of finitely branching and image finite linear processes

DOI10.1016/S0304-3975(97)00251-XzbMath0902.68118OpenAlexW1998764236MaRDI QIDQ1128985

Franck Van Breugel

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00251-x

zbMATH Keywords

coalgebrametric spacetransition systemfinitely branchingimage finite

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (1)

Universal coalgebra: A theory of systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Four domains for concurrency
• Terminal coalgebras in well-founded set theory
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Formal verification of parallel programs
• Processes and the denotational semantics of concurrency
• Decision problems forω-automata
• On the Forms of the Predicates in the Theory of Constructive Ordinals

This page was built for publication: Terminal metric spaces of finitely branching and image finite linear processes