On interprocess communication. I: Basic formalism
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3921989 (Why is no real title available?)
- scientific article; zbMATH DE number 3761044 (Why is no real title available?)
- A New Approach to Proving the Correctness of Multiprocess Programs
- A calculus of communicating systems
- On interprocess communication. II: Algorithms
- Time, clocks, and the ordering of events in a distributed system
Cited in
(only showing first 100 items - show all)- Weak atomicity: A helpful notion in the construction of atomic shared variables
- Election in fully anonymous shared memory systems: tight space bounds and algorithms
- Randomized registers and iterative algorithms
- scientific article; zbMATH DE number 1497839 (Why is no real title available?)
- On atomic registers and randomized consensus in m\&m systems
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations
- Optimal propagation-based protocols implementing causal memories
- scientific article; zbMATH DE number 1759600 (Why is no real title available?)
- Asymmetric distributed trust
- Introduction à l'algorithmique des objets partagés
- Contention-related crash failures: definitions, agreement algorithms, and impossibility results
- scientific article; zbMATH DE number 3999273 (Why is no real title available?)
- Formalization of parallelism forms in IPCL
- A visit to mutual exclusion in seven dates
- Tight space bounds for \(\ell\)-exclusion
- Generating Posets Beyond N
- \(t\)-resilient immediate snapshot Is impossible
- Optimal self-stabilizing mobile Byzantine-tolerant regular register with bounded timestamps
- Towards an automatic proof of the bakery algorithm
- Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects
- Efficient algorithms for checking the atomicity of a run of read and write operations
- Concurrent use of write-once memory
- Tight space bounds for \(\ell \)-exclusion
- Time and space optimal implementations of atomic multi-writer register
- Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems
- A simple object that spans the whole consensus hierarchy
- Wait-free computing
- What can be computed in a distributed system?
- Computing \(k\)-atomicity in polynomial time
- Store-collect in the presence of continuous churn with application to snapshots and lattice agreement
- Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers
- Self-stabilizing timestamps
- scientific article; zbMATH DE number 7228882 (Why is no real title available?)
- Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity
- Time-efficient read/write register in crash-prone asynchronous message-passing systems
- scientific article; zbMATH DE number 982545 (Why is no real title available?)
- Leader-based de-anonymization of an anonymous read/write memory
- scientific article; zbMATH DE number 220134 (Why is no real title available?)
- scientific article; zbMATH DE number 49717 (Why is no real title available?)
- Self-stabilization of wait-free shared memory objects
- How a rainbow coloring function can simulate wait-free handshaking
- A partial equivalence between shared-memory and message-passing in an asynchronous fail-stop distributed environment
- Clock construction in fully asynchronous parallel systems and PRAM simulation
- Data-stream-based global event monitoring using pairwise interactions
- Event-based proof of the mutual exclusion property of Peterson's algorithm
- Distributed algorithm to detect strong conjunctive predicates
- Reasoning about causality between distributed nonatomic events
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Regular register: an implementation in a churn prone environment
- Power and limits of distributed computing shared memory models
- Blocking versus nonblocking interprocess communication: A note on the effect on concurrency
- Script: A communication abstraction mechanism and its verification
- On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory
- From the happened-before relation to the causal ordered set abstraction
- Timing and causality in process algebra
- Improved time bounds for linearizable implementations of abstract data types
- Linear-time snapshot implementations in unbalanced systems
- Nonatomic dual bakery algorithm with bounded tokens
- On specification of multiprocessor computing
- A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
- The \(k\)-simultaneous consensus problem
- Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register
- A very simple construction of 1-writer multireader multivalued atomic variable
- scientific article; zbMATH DE number 139604 (Why is no real title available?)
- A criterion for atomicity
- Making Linearizability Compositional for Partially Ordered Executions
- Interleaving set temporal logic
- Logical classification of distributed algorithms (Bakery algorithms as an example)
- On interprocess communication and the implementation of multi-writer atomic registers
- Modelling knowledge and action in distributed systems
- scientific article; zbMATH DE number 176735 (Why is no real title available?)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Correctness and concurrent complexity of the black-white bakery algorithm
- Concurrent reading while writing revisited
- The topology of distributed adversaries
- Languages of higher-dimensional automata
- Composite registers
- GeoQuorums: implementing atomic memory in mobile ad hoc networks
- Causal memory: definitions, implementation, and programming
- Mutual exclusion in fully anonymous shared memory systems
- Concurrent abstract state machines
- scientific article; zbMATH DE number 7561456 (Why is no real title available?)
- Mutual exclusion as a matter of priority
- On the mutual-exclusion problem -- a quest for minimal solutions
- Optimistic Erasure-Coded Distributed Storage
- A coded shared atomic memory algorithm for message passing architectures
- The computability of relaxed data structures: queues and stacks as examples
- Finite-state concurrent programs can be expressed in pairwise normal form
- On interprocess communication. II: Algorithms
- Distributed universality
- Simple extensions of 1-writer atomic variable constructions to multiwriter ones
- Two-process synchronization
- Bisimulation and action refinement
- The time complexity of updating snapshot memories
- Structure of concurrency
- Defining conditional independence using collapses
- Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
- Adaptive progress: a gracefully-degrading liveness property
- Refined quorum systems
- Simple atomic snapshots: A linear complexity solution with unbounded time-stamps
This page was built for publication: On interprocess communication. I: Basic formalism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1079945)
