|
23
|
Some Facile Chemistry
– L Leth, B Thomsen
- 1995
|
|
35
|
An effective implementation for the generalized input-output construct of csp
– Gael N Buckley, Abraham Silberschatz
- 1983
|
|
213
|
CML: A Higher-Order Concurrent Language
– J H Reppy
- 1991
|
|
138
|
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
– Catuscia Palamidessi
- 2002
|
|
71
|
The advantages of free choice: a symmetric and fully distributed solution for the dining philosophers problem”, A classical mind: essays in honour of
– Michael O Rabin, Daniel Lehmann
- 1994
|
|
21
|
Multiway Synchronization Verified with Coupled Simulation
– Joachim Parrow, Peter Sjödin
- 1992
|
|
9
|
A protocol for generalized occam
– R Bornat
- 1986
|
|
87
|
Decoding Choice Encodings
– Uwe Nestmann, Benjamin C. Pierce
- 1999
|
|
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
|
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
|
Extending Objects with Rules
– Marc Bourgois, Jean-Marc Andreoli, Remo Pareschi
- 1992
|
|
6
|
A C-based SIMulation Package
– SIM
- 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
|
|
8
|
Learning Probabilistic Rules
– Beat Wuthrich
- 1993
|
|
5
|
Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken
– Udo W Lipeck, Rainer Manthey
- 1992
|
|
5
|
Binding Techniques and Garbage Collection for OR-Parallel CLP Systems
– Michel Dorochevsky, Andr'e V'eron
- 1992
|
