De Bakker-Zucker processes revisited

DOI10.1016/j.ic.2001.03.001zbMath1078.68097OpenAlexW2016391167MaRDI QIDQ1887161

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

Hausdorff metricMetric spaceClosed subsetTerminal coalgebraCompact subsetDe Bakker-Zucker process

Mathematics Subject Classification ID

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

Related Items (1)

Recursively defined metric spaces without contraction

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• A calculus of communicating systems
• Towards a foundation for semantics in complete metric spaces
• Structural induction and coinduction in a fibrational setting
• Obituary: David Michael Ritchie Park (1935--1990) in memoriam
• Linear time and branching time semantics for recursion with merge
• A behavioural pseudometric for probabilistic transition systems
• Terminal coalgebras in well-founded set theory
• A Note on Hyperspaces and Terminal Coalgebras
• Processes and the denotational semantics of concurrency

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