Terminal metric spaces of finitely branching and image finite linear processes

DOI10.1016/S0304-3975(97)00251-XzbMATH Open0902.68118OpenAlexW1998764236MaRDI QIDQ1128985FDOQ1128985

Authors: 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

metric spacecoalgebratransition systemfinitely branchingimage finite

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Universal coalgebra: A theory of systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128985)