Real-Time Synchronization of Interprocess Communications

DOI10.1145/2993.357244zbMath0536.68021OpenAlexW1965790513MaRDI QIDQ3321439

Paul G. Spirakis, John H. Reif

Publication date: 1984

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2993.357244

zbMATH Keywords

synchronizationCSPasynchronous systemshandshakedistributed asynchronous processesprobabilistic distributed algorithmsreal-time resource allocation problems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (5)

A Glimpse at Paul G. Spirakis ⋮ Efficient distributed algorithms by using the archimedean time assumption ⋮ A randomized encoding of the \(\pi\)-calculus with mixed choice ⋮ Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability ⋮ On fairness notions in distributed systems. I: A characterization of implementability

This page was built for publication: Real-Time Synchronization of Interprocess Communications