The multiway rendezvous

DOI10.1145/24039.24050zbMath0623.68024OpenAlexW2046042302MaRDI QIDQ3761682

Arthur Charlesworth

Publication date: 1987

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

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

communicationsynchronizationconcurrencydata encapsulation

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Deadlock-freedom in component systems with architectural constraints ⋮ Synchronous, asynchronous, and causally ordered communication ⋮ Action systems in incremental and aspect-oriented modeling ⋮ Some impossibility results in interprocess synchronization ⋮ Fairness and hyperfairness in multi-party interactions ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions ⋮ On fairness notions in distributed systems. I: A characterization of implementability