Pages that link to "Item:Q671995"

The following pages link to An extensional treatment of lazy data flow deadlock (Q671995):

Displaying 32 items.

• Projective contractions, generalized metrics, and fixed points (Q288178) (← links)
• Common fixed-point results for nonlinear contractions in ordered partial metric spaces (Q359765) (← links)
• On fixed point theory in partial metric spaces (Q385690) (← links)
• Three extensions of Ćirić quasicontraction on partial metric spaces (Q401815) (← links)
• Fixed points of mappings with a contractive iterate at a point in partial metric spaces (Q402515) (← links)
• The order-theoretic duality and relations between partial metrics and local equalities (Q419040) (← links)
• Some new extensions of Banach's contraction principle to partial metric space (Q540278) (← links)
• The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science (Q692921) (← links)
• Partial metric monoids and semivaluation spaces (Q818425) (← links)
• CPO semantics of timed interactive actor networks (Q959824) (← links)
• A characterization of partial metrizability: Domains are quantifiable. (Q1427788) (← links)
• The correspondence between partial metrics and semivaluations (Q1826629) (← links)
• Extensions of the Zamfirescu theorem to partial metric spaces (Q1930998) (← links)
• New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs (Q2017395) (← links)
• A Nemytskii-Edelstein type fixed point theorem for partial metric spaces (Q2017681) (← links)
• Metrizability of partial metric spaces (Q2074367) (← links)
• General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics (Q2082251) (← links)
• On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective (Q2175511) (← links)
• Some remarks on partial metric spaces (Q2186278) (← links)
• Fixed point theorems in generalized metric spaces with applications to computer science (Q2252670) (← links)
• Compactness and completeness in partial metric spaces (Q2291584) (← links)
• On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics (Q2319341) (← links)
• Properties and principles on partial metric spaces (Q2405061) (← links)
• On quasi-metric aggregation functions and fixed point theorems (Q2445564) (← links)
• Tameness in generalized metric structures (Q2700836) (← links)
• Asymmetric completions of partial metric spaces (Q3299475) (← links)
• Weightable quasi-metric semigroups and semilattices (Q4923383) (← links)
• A characterisation of weightable quasi-metric generating functions (Q5056518) (← links)
• An induction theorem and Ekeland's variational principle in partial metric spaces with applications (Q5131815) (← links)
• ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION (Q5858049) (← links)
• On partial metric preserving functions and their characterization (Q5865304) (← links)
• Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)