scientific article; zbMATH DE number 1107487
From MaRDI portal
Publication:4373409
zbMath0971.68099MaRDI QIDQ4373409
E. P. de Vink, J. W. de Bakker
Publication date: 30 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complete metric spaces (54E50) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (27)
A Note on Hyperspaces and Terminal Coalgebras ⋮ Axiomatizing GSOS with termination ⋮ De Bakker-Zucker processes revisited ⋮ Recursively defined metric spaces without contraction ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Terminal metric spaces of finitely branching and image finite linear processes ⋮ The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words ⋮ Denotational semantics of membrane systems by using complete metric spaces ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ A process calculus for spiking neural P systems ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ An identification theorem for the completion of the Hausdorff fuzzy metric ⋮ On quasi-metric aggregation functions and fixed point theorems ⋮ Notes on ``Modeling the dynamics of concurrent computing systems ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ The Hausdorff fuzzy quasi-metric ⋮ Notions of bisimulation and congruence formats for SOS with data ⋮ Modeling the dynamics of concurrent computing systems ⋮ Metric semantics for true concurrent real time ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Denotational semantics for programming languages, balanced quasi-metrics and fixed points ⋮ The Banaschewski compactification revisited ⋮ Denotational models for programming languages: Applications of Banach's fixed point theorem ⋮ Universal coalgebra: A theory of systems ⋮ A category of compositional domain-models for separable Stone spaces. ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
This page was built for publication: