Pages that link to "Item:Q1079946"
From MaRDI portal
The following pages link to On interprocess communication. II: Algorithms (Q1079946):
Displaying 7 items.
- Hundreds of impossibility results for distributed computing (Q5138488) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Towards a practical snapshot algorithm (Q5958615) (← links)
- Self-stabilizing \(\ell\)-exclusion (Q5958773) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Intermediate value linearizability: a quantitative correctness criterion (Q6534999) (← links)
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+} (Q6536175) (← links)