Terminal metric spaces of finitely branching and image finite linear processes

DOI10.1016/S0304-3975(97)00251-XMaRDI QIDQ1128985zbMATH OpenOpenAlexFDO

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

• scientific article; zbMATH DE number 3890714 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• Decision problems forω-automata
• Formal verification of parallel programs
• Four domains for concurrency
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Terminal coalgebras in well-founded set theory

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)