Frederick Knabe  Home/Search
Context Related
Links: ACM DBLP | virginia.edu/~knabe/choice.ps.gz 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: virginia.edu/~knabe/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent attempts at incorporating concurrency into functional languages have identified synchronous communication via shared channels as a promising primitive. An additional useful feature found in many proposals is a nondeterministic choice operator. Similar in nature to the CSP alternative command, this operator allows different possible actions to be guarded by sends or receives. Choice is difficult to implement in a distributed environment because it requires offering many potential... (Update)
Cited by: More
What is a `Good' Encoding of Guarded Choice? - Nestmann (1997) (Correct)
A Randomized Distributed Encoding of the π-Calculus.. - Palamidessi, Herescu (2002) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1996) (Correct)
Active bibliography (related documents): More All
0.6: Adaptive Protocols for Negotiating Non-Deterministic Choice over.. - Demaine (1997) (Correct)
0.6: Protocols for Non-Deterministic Communication over Synchronous.. - Demaine (1998) (Correct)
0.5: Adding Threads to Standard ML - Cooper, Morrisett (1990) (Correct)
Similar documents based on text: More All
0.1: Language Support for Mobile Agents - Knabe (1995) (Correct)
0.1: An Overview of Mobile Agent Programming - Knabe (1996) (Correct)
0.1: Function Transmission for a Distributed Higher-Order Language.. - Knabe (1994) (Correct)
Related documents from co-citation: More All
10: Communicating Sequential Processes (context) - Hoare - 1985
10: Information and Computation (context) - Milner, Parrow et al. - 1992
10: Comparing the expressive power of the Synchronous and the Asynchronous pi-calcul.. - Palamidessi - 1997
BibTeX entry: (Update)
Frederick Knabe. A Distributed Protocol for Channel-Based Communication with Choice. Computers and Artiøcial Intelligence, 12(5):475490, 1993. http://citeseer.ist.psu.edu/knabe93distributed.html More
@incollection{ knabe92distributed,
author = "F. Knabe",
title = "A Distributed Protocol for Channel-Based Communications with Choice",
booktitle = "{PARLE} '92, Parallel Architectures and Languages Europe",
volume = "605",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "D. Etiemble and J.-C. Syre",
pages = "947--948?",
year = "1992",
url = "citeseer.ist.psu.edu/knabe93distributed.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1989 ACM
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988 ACM
444 Mach: A new kernel foundation for UNIX development (context) - Accetta, Baron et al. - 1986 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992 ACM DBLP
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 - 1992 ACM DBLP
21 Number 92 in Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
18 A new and efficient implementation of multiprocess synchroni.. (context) - Ramesh - 1987 ACM DBLP
17 An operational semantics of first-class synchronous operatio.. (context) - Reppy - 1991
15 Synchronous operations as first-class values (context) - Reppy - 1988 ACM DBLP
15 party synchronization using tokens (context) - Kumar, of - 1990
15 Coordinating first-order multiparty interactions - Joung, Smolka - 1990 ACM DBLP
14 A distributed synchronization scheme for fair multiprocess h.. (context) - Park, Kim - 1990
7 communicating sequential processes (context) - Bernstein, nondeterminism - 1980 ACM DBLP
6 Software---Practice and Experience (context) - Bornat, for et al. - 1986
5 A distributed algorithm to implement the generalized alterna.. (context) - Bagrodia - 1986 DBLP
2 eXene: A multi-threaded X window system toolkit (context) - Reppy, Gansner - 1991
2 Implementing events in ML+threads (context) - Morrisett - 1990
2 School of Computer Science (context) - Knabe, IPC et al. - 1991
1 PFL: A functional language for parallel programming and its .. (context) - om - 1983
1 A thread interface for Standard ML (context) - Cooper - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.virginia.edu/~knabe/papers.html): More
An Overview of Mobile Agent Programming - Knabe (1996) (Correct)
A Flexible Security System for Metacomputing Environments - Adam Ferrari (1998) (Correct)
Language Support for Mobile Agents - Knabe (1995) (Correct)
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