Two-process synchronization

DOI10.1016/J.TCS.2016.04.011MaRDI QIDQ2357145zbMATH OpenOpenAlexFDO

Authors Uri Abraham, Gal Amram

Publication date 19 June 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2016.04.011

zbMATH Keywords

distributed algorithmslinearizabilityshared memorysynchronization

Mathematics Subject Classification ID

Distributed systems (68M14) Analysis of algorithms and problem complexity (68Q25) Distributed algorithms (68W15)

Recommendations

• On the signaling problem
• The mailbox problem
• The Mailbox Problem
• The F-Snapshot Problem
• Space lower bounds for the signal detection problem

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• On interprocess communication. I: Basic formalism
• On the signaling problem
• Proving the Correctness of Multiprocess Programs
• Recognizing safety and liveness
• The mailbox problem
• The Mailbox Problem

Cited in

(5)

• Nivat's processes and their synchronization
• Space lower bounds for the signal detection problem
• The Mailbox Problem
• On the signaling problem
• The mailbox problem

This page was built for publication: Two-process synchronization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2357145)