An extensional treatment of lazy data flow deadlock
From MaRDI portal
Publication:671995
DOI10.1016/0304-3975(95)00051-WzbMATH Open0872.68110OpenAlexW2065220161MaRDI QIDQ671995FDOQ671995
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
Recommendations
- Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions
- An Expressive Framework for Verifying Deadlock Freedom
- An extensional fixed-point semantics for nondeterministic data flow
- Deadlock prevention by acyclic orientations
- Towards static deadlock resolution in the \(\pi\)-calculus
- Deadlock Detection in the Face of Transaction and Data Dependencies
- Component-Based Construction of Deadlock-Free Systems
- scientific article; zbMATH DE number 1088044
Metric spaces, metrizability (54E35) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- Partial Metric Topology
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An extensional treatment of dataflow deadlock
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (32)
- CPO semantics of timed interactive actor networks
- Common fixed-point results for nonlinear contractions in ordered partial metric spaces
- Extensions of the Zamfirescu theorem to partial metric spaces
- Some new extensions of Banach's contraction principle to partial metric space
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- ON Ψ-PROJECTIVE EXPANSION, QUASI PARTIAL METRICS AGGREGATION WITH AN APPLICATION
- Weightable quasi-metric semigroups and semilattices
- On fixed point theory in partial metric spaces
- The order-theoretic duality and relations between partial metrics and local equalities
- Projective contractions, generalized metrics, and fixed points
- A Nemytskii-Edelstein type fixed point theorem for partial metric spaces
- Fixed points of mappings with a contractive iterate at a point in partial metric spaces
- A characterization of partial metrizability: Domains are quantifiable.
- On partial metric preserving functions and their characterization
- The correspondence between partial metrics and semivaluations
- Metrizability of partial metric spaces
- Partial metric monoids and semivaluation spaces
- An induction theorem and Ekeland's variational principle in partial metric spaces with applications
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- Compactness and completeness in partial metric spaces
- Properties and principles on partial metric spaces
- Fixed point theorems in generalized metric spaces with applications to computer science
- Three extensions of Ćirić quasicontraction on partial metric spaces
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- Some remarks on partial metric spaces
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective
- On quasi-metric aggregation functions and fixed point theorems
- A characterisation of weightable quasi-metric generating functions
- Asymmetric completions of partial metric spaces
- General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics
- Tameness in generalized metric structures
- Stratified negation in temporal logic programming and the cycle-sum test
Uses Software
This page was built for publication: An extensional treatment of lazy data flow deadlock
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671995)
