On interprocess communication. II: Algorithms
From MaRDI portal
Recommendations
- On interprocess communication. I: Basic formalism
- Two Tools for Interprocess Communication in Distributed Data-Flow Systems
- An algorithm for analyzing communicating processes
- Communication in parallel systems : Models, algorithms and implementations
- scientific article; zbMATH DE number 425387
- The mutual exclusion problem
- The mutual exclusion problem. I: A theory of interprocess communication
Cites work
Cited in
(64)- From adaptive renaming to set agreement
- On interprocess communication. I: Basic formalism
- Atomic semantics of nonatomic programs
- Converting Lamport's regular register to atomic register
- The behavior of shared objects: Concept, pitfalls, and a new model
- Towards an understanding of unbounded variables in asynchronous systems
- Optimality of wait-free atomic multiwriter variables
- Linearizable read/write objects
- Global serializability of concurrent programs
- Clock construction in fully asynchronous parallel systems and PRAM simulation
- The difference between splitting in \(n\) and \(n+1\)
- The entropy of a distributed computation random number generation from memory interleaving
- Leader election in the presence of n-1 initial failures
- The power of multiobjects.
- Probabilistic quorum systems
- Randomized registers and iterative algorithms
- Nonatomic mutual exclusion with local spinning
- Randomized consensus with regular registers
- Step-optimal implementations of large single-writer registers
- The assignment problem
- Tight space bounds for \(\ell\)-exclusion
- Relaxed data types as consistency conditions
- Possible values: exploring a concept for concurrency
- Byzantine disk paxos: optimal resilience with Byzantine shared memory
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Relationships between memory models
- Time and space optimal implementations of atomic multi-writer register
- Definability and decidability of binary predicates for time granularity
- Self-stabilizing and private distributed shared atomic memory in seldomly fair message passing networks
- scientific article; zbMATH DE number 982545 (Why is no real title available?)
- Concurrent use of write-once memory
- Efficient test \& set constructions for faulty shared memory
- The time complexity of updating snapshot memories
- Invariants for the construction of a handshake register
- Of concurrent data structures and iterations
- scientific article; zbMATH DE number 4080895 (Why is no real title available?)
- Dynamic regular registers in systems with churn
- Introduction à l'algorithmique des objets partagés
- Linear space bootstrap communication schemes
- Linear-time snapshot implementations in unbalanced systems
- A case study in transformational design of concurrent systems
- On self-stabilizing wait-free clock synchronization
- Integrated bounds for disintegrated storage
- Naming symmetric processes using shared variables
- On the use of registers in achieving wait-free consensus
- Synchronous Byzantine quorum systems
- Randomized two-process wait-free test-and-set
- Hundreds of impossibility results for distributed computing
- Formalization of parallelism forms in IPCL
- Simulation Refinement for Concurrency Verification
- Towards a practical snapshot algorithm
- Self-stabilizing \(\ell\)-exclusion
- Modelling mutual exclusion in a process algebra with time-outs
- Intermediate value linearizability: a quantitative correctness criterion
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}
- The mailbox problem
- Process-algebraic models of multi-writer multi-reader non-atomic registers
- Fast and fair randomized wait-free locks
- Intermediate value linearizability: a quantitative correctness criterion
- Asynchronous wait-free runtime verification and enforcement of linearizability
- Just verification of mutual exclusion algorithms
- Wait-free regular storage from Byzantine components
- Blocking versus nonblocking interprocess communication: A note on the effect on concurrency
- Adaptive progress: a gracefully-degrading liveness property
This page was built for publication: On interprocess communication. II: Algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1079946)
