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
41 An effective implementation for the generalized input-output construct of CSP – Gael N Buckley, Abraham Silberschatz - 1983
217 CML: A higher-order concurrent language – J Reppy - 1991
160 Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi – Catuscia Palamidessi - 2002
79 The Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem, volume A – Rabin, Daniel Lehmann - 1994
21 Multiway Synchronization Verified with Coupled Simulation РJoachim Parrow, Peter Sjödin - 1992
10 A protocol for generalized Occam – R Bornat - 1986
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
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
5 Data and Knowledge for Medical Applications: A Case Study – Petra Bayer - 1992
5 Binding Techniques and Garbage Collection for OR-Parallel CLP Systems – Michel Dorochevsky, Andr'e V'eron - 1992
5 Efficiently Estimating Relative Grain Size for Logic Programs on Basis of Abstract Interpretation – Shan-Wen Yan - 1992
8 Associative communication and its optimization via abstract interpretation – J-M Andreoli, R Pareschi - 1992
5 On the Chemistry of Broadcasting – Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen - 1992
6 A C-based SIMulation Package – SIM - 1992
5 On the Efficient Distribution-free Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases – Beat Wuthrich - 1992
5 A Preliminary Study of the Performance of MegaLog – Jorge Bocca, Luis Hermosilla - 1992
6 Supporting Thousands of Threads Using a Hybrid Stack Sharing Scheme – Benoit Dageville, Kam-Fai Wong - 1993