An extensional treatment of lazy data flow deadlock
From MaRDI portal
(Redirected from Publication:671995)
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
Cites work
- scientific article; zbMATH DE number 3128000 (Why is no real title available?)
- scientific article; zbMATH DE number 3960970 (Why is no real title available?)
- scientific article; zbMATH DE number 3722073 (Why is no real title available?)
- scientific article; zbMATH DE number 3759516 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3476270 (Why is no real title available?)
- scientific article; zbMATH DE number 3566126 (Why is no real title available?)
- An axiomatic basis for computer programming
- An extensional treatment of dataflow deadlock
- Partial Metric Topology
Cited in
(32)- Some new extensions of Banach's contraction principle to partial metric space
- On fixed point theory in partial metric spaces
- Compactness and completeness in partial metric spaces
- Fixed points of mappings with a contractive iterate at a point in partial metric spaces
- The correspondence between partial metrics and semivaluations
- On quasi-metric aggregation functions and fixed point theorems
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
- Stratified negation in temporal logic programming and the cycle-sum test
- On partial metric preserving functions and their characterization
- Projective contractions, generalized metrics, and fixed points
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- The order-theoretic duality and relations between partial metrics and local equalities
- Some remarks on partial metric spaces
- An induction theorem and Ekeland's variational principle in partial metric spaces with applications
- General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics
- Properties and principles on partial metric spaces
- A characterisation of weightable quasi-metric generating functions
- Metrizability of partial metric spaces
- Asymmetric completions of partial metric spaces
- Common fixed-point results for nonlinear contractions in ordered partial metric spaces
- New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
- On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective
- Fixed point theorems in generalized metric spaces with applications to computer science
- A characterization of partial metrizability: Domains are quantifiable.
- Tameness in generalized metric structures
- A Nemytskii-Edelstein type fixed point theorem for partial metric spaces
- On \(\Psi\)-projective expansion, quasi partial metrics aggregation with an application
- Three extensions of Ćirić quasicontraction on partial metric spaces
- CPO semantics of timed interactive actor networks
- Extensions of the Zamfirescu theorem to partial metric spaces
- Partial metric monoids and semivaluation spaces
- Weightable quasi-metric semigroups and semilattices
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)