A Distributed Protocol for Channel-Based Communication with Choice (1993)

Cached

Download Links

by Frederick Knabe
Venue:Computers and Artificial Intelligence
Citations:26 - 1 self

Active Bibliography

1 Efficient Implementation of Synchronous Communication Over Asynchronous Networks – Manhoi Choy, Ambuj K. Singh - 1995
3 Two Decentralized Algorithms for Strong Interaction Fairness for Systems with Unbounded Speed Variability – Yuh-Jzer Joung - 2000
6 Characterizing Fairness Implementability for Multiparty Interaction – Yuh-Jzer Joung - 1996
26 A Comprehensive Study of the Complexity of Multiparty Interaction – Yuh-Jzer Joung, Scott A. Smolka - 1996
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
1 An Efficient Algorithm for Multi-Process Shared Events – Vijay Garg
A Portable Multiprocessor Interface – Andrew Tolmach
5 A Portable Multiprocessor Interface for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 1992
1 On Semantic Constraints in Distributed Systems, Part II: Equivalence-Completions and Their Hierarchies – Yuh-Jzer Joung, Yuh-jzer Joung
10 Strong Interaction Fairness via Randomization – Yuh-Jzer Joung, Scott A. Smolka - 1996
12 Localizing Failures in Distributed Synchronization – Manhoi Choy, Ambuj K. Singh - 1996
5 A Concurrent ML Library in Concurrent Haskell – Avik Chaudhuri
14 Coordinating first-order multiparty interactions – Yuh-jzer Joung, Scott A. Smolka - 1994
4 On Fairness Notions in Distributed Systems, Part I: A Characterization of Implementability – Yuh-Jzer Joung, Yuh-jzer Joung, Yuh-jzer Joung
8 First-class Synchronous Operations – John H. Reppy - 1995
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
1 Efficient Implementation of Multi-process Handshaking on Broadcasting Networks – M. Aspnas, R. J. R. Back, R. Kurki-Suonio - 1989
13 Programming with behaviors in an ML framework - The syntax and semantics of LCS – Bernard Berthomieu, Thierry Le Sergent - 1994