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

Documents Related by Co-Citation

23 Some Facile Chemistry – L Leth, B Thomsen - 1995
217 CML: A higher-order concurrent language – J H Reppy - 1991
41 An effective implementation for the generalized input-output construct of CSP – Gael N Buckley, Abraham Silberschatz - 1983
21 Multiway Synchronization Verified with Coupled Simulation РJoachim Parrow, Peter Sjödin - 1992
156 Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi – Catuscia Palamidessi - 2002
142 Concurrent Programming in ML – John H Reppy - 1999
29 Kill-safe synchronization abstractions – M Flatt, R B Findler - 2004
8 Protocols for non-deterministic communication over synchronous channels – Erik D. Demaine - 1998
15 Events in Haskell, and How to Implement Them – George Russell - 2001
78 On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers problem – Michael Rabin, Daniel Lehmann - 1981
96 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
5 Data and Knowledge for Medical Applications: A Case Study – Petra Bayer - 1992
8 Associative communication and its optimization via abstract interpretation – J-M Andreoli, R Pareschi - 1992
5 On the Efficient Distribution-free Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases – Beat Wuthrich - 1992
10 ElipSys Programming Tutorial – S Prestwich - 1993
27 Compiling integrity checking into update procedures – M Wallace - 1991
28 Logic programming with bounded quantifiers – A Voronkov - 1992
5 Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken – Udo W Lipeck, Rainer Manthey - 1992
5 Publication Management: A Requirements Analysis – Benoit Baurens, Petra Bayer, Luis Hermosilla, Andrea Sikeler - 1992