De Bakker-Zucker processes revisited

DOI10.1016/J.IC.2001.03.001MaRDI QIDQ1887161zbMATH OpenOpenAlexFDO

Authors Franck van Breugel

Publication date 23 November 2004

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2001.03.001

zbMATH Keywords

Closed subsetCompact subsetDe Bakker-Zucker processHausdorff metricMetric spaceTerminal coalgebra

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Special maps on metric spaces (54E40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Note on Hyperspaces and Terminal Coalgebras
• scientific article; zbMATH DE number 1254415
• On final coalgebras of continuous functors
• scientific article; zbMATH DE number 16374
• Hausdorff coalgebras

Cites work

• A behavioural pseudometric for probabilistic transition systems
• A calculus of communicating systems
• A Note on Hyperspaces and Terminal Coalgebras
• scientific article; zbMATH DE number 3890714 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1062123 (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?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Linear time and branching time semantics for recursion with merge
• Obituary: David Michael Ritchie Park (1935--1990) in memoriam
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• Structural induction and coinduction in a fibrational setting
• Terminal coalgebras in well-founded set theory
• Towards a foundation for semantics in complete metric spaces

Cited in

(4)

• Recursively defined metric spaces without contraction
• A Note on Hyperspaces and Terminal Coalgebras
• The ℓ ^p -metrization of functors with finite supports
• Spaces of extremal magnitude

This page was built for publication: De Bakker-Zucker processes revisited

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