Real-Time Synchronization of Interprocess Communications

DOI10.1145/2993.357244MaRDI QIDQ3321439zbMATH OpenOpenAlexFDO

Authors J. Reif, P. G. Spirakis

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

asynchronous systemsCSPdistributed asynchronous processeshandshakeprobabilistic distributed algorithmsreal-time resource allocation problemssynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Unbounded Speed Variability in Distributed Communications Systems
• Adding Time to Synchronous Process Communications
• Time bounds for real-time process control in the presence of timing uncertainty
• An upper and lower bound for clock synchronization
• Communicating parallel processes

Cited in

(11)

• Towards a real-time distributed computing model
• A real-time configurable synchronization protocol for self-suspending process sets
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• On fairness notions in distributed systems. I: A characterization of implementability
• Unbounded Speed Variability in Distributed Communications Systems
• A glimpse at Paul G. Spirakis
• Efficient distributed algorithms by using the archimedean time assumption
• Adding Time to Synchronous Process Communications
• scientific article; zbMATH DE number 1875365 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A randomized encoding of the \(\pi\)-calculus with mixed choice

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

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