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 BibTeX

@proceedings{DBLP:conf/parle/1991-2,
  editor    = {Emile H. L. Aarts and
               Jan van Leeuwen and
               Martin Rem},
  title     = {PARLE '91: Parallel Architectures and Languages Europe, Volume
               II: Parallel Languages, Eindhoven, The Netherlands, June 10-13,
               1991, Proceedings},
  booktitle = {PARLE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {506},
  year      = {1991},
  isbn      = {3-540-54152-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

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

Submitted Presentations

Ryszard Janicki, Maciej Koutny: Invariants and Paradigms of Concurrency Theory. 59-74 BibTeX
Luis M. Alonso, Ricardo Pena: Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. 75-91 BibTeX
Jean Fanchon, D. Millot: Models for Dynamically Placed Concurrent Processes. 92-109 BibTeX
Yamina Sami, Guy Vidal-Naquet: Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. 110-127 BibTeX
Ambuj K. Singh: Program Refinement in Fair Transition Systems. 128-147 BibTeX
J. T. Yantchev: Communication Abstraction and Refinement. 148-165 BibTeX
Luc Bougé: On the Semantics of Languages for Massively Parallel SIMD Architectures. 166-183 BibTeX
Jozef Hooman: A Denotional Real-Time Semantics for Shared Processes. 184-201 BibTeX
E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Concurrent Clean. 202-219 BibTeX
André van Delft: The Scriptive Programming Language. 220-237 BibTeX
Seif Haridi, Catuscia Palamidessi: Structural Operational Semantics for Kernel Andorra Prolog. 238-253 BibTeX
Suresh Jagannathan: Customization of First Class Tuple-Spaces in a Higher-Order Language. 254-276 BibTeX
Michael Factor: A Formal Specification of the Process Trellis. 277-294 BibTeX
C. Autant, Z. Belmesk, Ph. Schnoebelen: Strong Bisimilarity on Nets Revisited. 295-312 BibTeX
Jeff Magee, Naranker Dulay: A Configuration Approach to Parallel Programming. 313-330 BibTeX
Jean-Luc Gaudiot, Chih-Ming Lin: Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System. 331-348 BibTeX
Martin Waite, Bret Giddings, Simon H. Lavington: Parallel Associative Combinator Evaluation. 349-366 BibTeX
Chris Hankin: Static Analysis of Term Graph Rewriting Systems. 367-384 BibTeX
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 BibTeX
Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren: Flexible Scheduling of OR-Parallel Logic Programming Systems. 421-438 BibTeX
Péter Szeredi, Rong Yang, Mats Carlsson: Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. 439-453 BibTeX
Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao: Reduction of Code Space in Parallel Logic Programming Systems. 454-470 BibTeX
Satoshi Fujita, Masafumi Yamashita, Tadashi Ae: Search Level Parallel Processing of Production Systems. 471-488 BibTeX