An extensional treatment of lazy data flow deadlock
From MaRDI portal
Publication:671995
DOI10.1016/0304-3975(95)00051-WzbMath0872.68110OpenAlexW2065220161MaRDI QIDQ671995
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00051-w
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Partial metric monoids and semivaluation spaces ⋮ Projective contractions, generalized metrics, and fixed points ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Common fixed-point results for nonlinear contractions in ordered partial metric spaces ⋮ Properties and principles on partial metric spaces ⋮ On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective ⋮ On fixed point theory in partial metric spaces ⋮ Extensions of the Zamfirescu theorem to partial metric spaces ⋮ Some remarks on partial metric spaces ⋮ Three extensions of Ćirić quasicontraction on partial metric spaces ⋮ Fixed points of mappings with a contractive iterate at a point in partial metric spaces ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Tameness in generalized metric structures ⋮ On quasi-metric aggregation functions and fixed point theorems ⋮ An induction theorem and Ekeland's variational principle in partial metric spaces with applications ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ CPO semantics of timed interactive actor networks ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science ⋮ Weightable quasi-metric semigroups and semilattices ⋮ Some new extensions of Banach's contraction principle to partial metric space ⋮ Stratified negation in temporal logic programming and the cycle-sum test ⋮ New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs ⋮ A Nemytskii-Edelstein type fixed point theorem for partial metric spaces ⋮ Compactness and completeness in partial metric spaces ⋮ The correspondence between partial metrics and semivaluations ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Metrizability of partial metric spaces ⋮ General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics ⋮ ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION ⋮ On partial metric preserving functions and their characterization ⋮ Asymmetric completions of partial metric spaces
Uses Software
Cites Work
This page was built for publication: An extensional treatment of lazy data flow deadlock
