Erik D. Demaine  Home/Search
Context Related
| daisy.uwaterloo.ca/~eddemain...paper.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: daisy.uwaterloo.ca/~eddemain/p... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or receiving among various synchronous channels. We consider general many-to-many channels and examine in detail the special case of fan (many-to-one and one-to-many) channels, which are common and can be implemented much more efficiently. We propose a protocol that achieves an optimal number of message cycles per... (Update)
Context of citations to this paper: More
...for example. We have not included the membership protocol in this paper because of space restrictions, but a description can be found in [5]. The simple protocol and dynamic membership protocol were used in two implementations of higher order concurrency in distributed...
Cited by: More
Protocols for Non-Deterministic Communication over Synchronous.. - Demaine (1998) (Correct)
Active bibliography (related documents): More All
0.6: A Distributed Protocol for Channel-Based Communication with Choice - Knabe (1993) (Correct)
0.5: An Efficient Algorithm for Multi-Process Shared Events - Vijay Garg (Correct)
0.4: Synchronization in Distributed Programs - Schneider (1982) (Correct)
Similar documents based on text: More All
0.3: Converting C Pointers to Java References - Demaine (1998) (Correct)
0.2: Playing Games with Algorithms: Algorithmic Combinatorial Game.. - Demaine (2001) (Correct)
0.2: Querying Large Class Collections - Gibbs (1990) (Correct)
Related documents from co-citation: More All
2: A Distributed Protocol for Channel-Based Communication with Choice - Knabe - 1993
2: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
E. D. Demaine. Adaptive protocols for negotiating nondeterministic choice over synchronous channels. Technical Report CS-97-35, Dept. of Computer Science, University of Waterloo, Sept. 1997. http://citeseer.ist.psu.edu/demaine97adaptive.html More
@misc{ demaine97adaptive,
author = "E. Demaine",
title = "Adaptive protocols for negotiating nondeterministic choice over synchronous
channels",
text = "E. D. Demaine. Adaptive protocols for negotiating nondeterministic choice
over synchronous channels. Technical Report CS-97-35, Dept. of Computer
Science, University of Waterloo, Sept. 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/demaine97adaptive.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
2732 Communicating sequential processes (context) - Hoare - 1978
180 PVM: Parallel Virtual Machine --- A User's Guide and Tutoria.. (context) - Geist, Beguelin et al. - 1994
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
96 A language for modular parallel programming (context) - Foster, Chandy - 1995
55 and formal derivation of programs (context) - Dijkstra, nondeterminacy - 1975
24 An effective implementation for the generalized input-output.. (context) - Buckley, Silberschatz - 1983 ACM DBLP
23 A distributed protocol for channel-based communication with .. - Knabe - 1993 ACM DBLP
23 A distributed protocol for channel-based communication with .. - Knabe - 1992 ACM DBLP
15 Higher-order concurrency (context) - Reppy - 1992
14 ACM Transactions on Programming Language and Systems (context) - Schneider, distributed - 1982
13 A distributed abstract data type implemented by a probabilis.. (context) - Francez, Rodeh - 1980 DBLP
7 Communicating sequential processes (context) - Bernstein, nondeterminism - 1980 ACM DBLP
6 Software --- Practice and Experience (context) - Bornat, for et al. - 1986
6 Concurrent ML: Design (context) - Reppy - 1993
5 A distributed algorithm to implement the generalized alterna.. (context) - Bagrodia - 1986 DBLP
5 Higher-order concurrency in Java (context) - Demaine - 1997
3 Synchronous communicationbetween asynchronous components (context) - Snepscheut - 1981
3 What we've learned (context) - Geist, Kohl et al.
3 IEEE Transactions on Software Engineering (context) - Silberschatz, synchronization et al. - 1979
3 Distributed synchronization of communicating sequential proc.. (context) - Schwarz - 1978
2 Prentice Hall International Ltd (context) - Limited, Reference - 1988
2 Higher-order concurrency in PVM - Demaine - 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC