On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

DOI10.1017/S0960129598002588zbMath0917.68140OpenAlexW2104603764MaRDI QIDQ4236207

Publication date: 8 August 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129598002588

zbMATH Keywords

structural operational semantics final coalgebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (29)

Distributivity of categories of coalgebras ⋮ Recursively defined metric spaces without contraction ⋮ Non-well-founded trees in categories ⋮ The category-theoretic solution of recursive metric-space equations ⋮ Semantics for finite delay ⋮ Natural duality, modality, and coalgebra ⋮ Coalgebras in functional programming and type theory ⋮ Domain Equations Based on Sets with Families of Pre-orders ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ On coalgebra based on classes ⋮ Elements of generalized ultrametric domain theory ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Process Calculi à la Bird-Meertens ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ Quantitative Kleene coalgebras ⋮ Stone coalgebras ⋮ On the computational complexity of bisimulation, redux ⋮ A behavioural pseudometric for probabilistic transition systems ⋮ A coalgebraic presentation of structured transition systems ⋮ Parametric corecursion ⋮ On the final sequence of a finitary set functor ⋮ Hausdorff coalgebras ⋮ Approximating and computing behavioural distances in probabilistic transition systems ⋮ The graph conception of set ⋮ The semantics of the combination of atomized statements and parallel choice ⋮ Extending set functors to generalised metric spaces ⋮ Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors ⋮ Towards coalgebraic behaviourism

This page was built for publication: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces