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

Jayadev Misra:
Loosely-Coupled Processes. 1-26
J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. 27-57
Ehud Y. Shapiro:
Embeddings Among Concurrent Programming Languages (Abstract). 58

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