3. PARLE 1991:
Eindhoven, The Netherlands - Volume 2
Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (Eds.):
PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings.
Lecture Notes in Computer Science 506 Springer 1991, ISBN 3-540-54152-7 
Invited Lectures
Submitted Presentations
- Ryszard Janicki, Maciej Koutny:
Invariants and Paradigms of Concurrency Theory.
59-74
- Luis M. Alonso, Ricardo Pena:
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.
75-91
- Jean Fanchon, D. Millot:
Models for Dynamically Placed Concurrent Processes.
92-109
- Yamina Sami, Guy Vidal-Naquet:
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.
110-127
- Ambuj K. Singh:
Program Refinement in Fair Transition Systems.
128-147
- J. T. Yantchev:
Communication Abstraction and Refinement.
148-165
- Luc Bougé:
On the Semantics of Languages for Massively Parallel SIMD Architectures.
166-183
- Jozef Hooman:
A Denotional Real-Time Semantics for Shared Processes.
184-201
- E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean.
202-219
- André van Delft:
The Scriptive Programming Language.
220-237
- Seif Haridi, Catuscia Palamidessi:
Structural Operational Semantics for Kernel Andorra Prolog.
238-253
- Suresh Jagannathan:
Customization of First Class Tuple-Spaces in a Higher-Order Language.
254-276
- Michael Factor:
A Formal Specification of the Process Trellis.
277-294
- C. Autant, Z. Belmesk, Ph. Schnoebelen:
Strong Bisimilarity on Nets Revisited.
295-312
- Jeff Magee, Naranker Dulay:
A Configuration Approach to Parallel Programming.
313-330
- Jean-Luc Gaudiot, Chih-Ming Lin:
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System.
331-348
- Martin Waite, Bret Giddings, Simon H. Lavington:
Parallel Associative Combinator Evaluation.
349-366
- Chris Hankin:
Static Analysis of Term Graph Rewriting Systems.
367-384
- Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux:
Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.
385-402
- Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren:
Flexible Scheduling of OR-Parallel Logic Programming Systems.
421-438
- Péter Szeredi, Rong Yang, Mats Carlsson:
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.
439-453
- Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao:
Reduction of Code Space in Parallel Logic Programming Systems.
454-470
- Satoshi Fujita, Masafumi Yamashita, Tadashi Ae:
Search Level Parallel Processing of Production Systems.
471-488
Last update Thu May 23 17:48:38 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
