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.



Related Items (27)

A Note on Hyperspaces and Terminal CoalgebrasAxiomatizing GSOS with terminationDe Bakker-Zucker processes revisitedRecursively defined metric spaces without contractionGeneralized metric spaces: Completion, topology, and powerdomains via the Yoneda embeddingTerminal metric spaces of finitely branching and image finite linear processesThe Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of wordsDenotational semantics of membrane systems by using complete metric spacesHyperspaces of a weightable quasi-metric space: application to models in the theory of computationA process calculus for spiking neural P systemsBisimulation for probabilistic transition systems: A coalgebraic approachAn identification theorem for the completion of the Hausdorff fuzzy metricOn quasi-metric aggregation functions and fixed point theoremsNotes on ``Modeling the dynamics of concurrent computing systemsMetric Semantics and Full Abstractness for Action Refinement and Probabilistic ChoiceLinear Structures for Concurrency in Probabilistic Programming LanguagesThe Hausdorff fuzzy quasi-metricNotions of bisimulation and congruence formats for SOS with dataModeling the dynamics of concurrent computing systemsMetric semantics for true concurrent real timeAn introduction to metric semantics: Operational and denotational models for programming and specification languagesDenotational semantics for programming languages, balanced quasi-metrics and fixed pointsThe Banaschewski compactification revisitedDenotational models for programming languages: Applications of Banach's fixed point theoremUniversal coalgebra: A theory of systemsA 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: