Abstract is missing.
- Supporting Multiparadigm Programming on Actor ArchitecturesGul Agha. 1-19
- Multiple Tuple Spaces in LindaDavid Gelernter. 20-27
- Experiments in MIMD ParallelismAnthony J. G. Hey. 28-42
- GTS: Extracting Full Parallelism Out of DO LoopsJesús Labarta, Eduard Ayguadé. 43-54
- Dataflow Analysis if Term Graph Rewriting SystemsRichard Banach. 55-72
- Towards A Theory Of Simulation For Verification Of Concurrent SystemsRyszard Janicki, Maciej Koutny. 73-88
- Eliminating Redundant Interleavings During Concurrent Program VerificationAntti Valmari. 89-103
- Dataflow Programs for Parallel Computations of Logic Progams and their SemanticsSusumu Yamasaki. 104-114
- RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic ProgramsBernd Schwinn, Gerhard Barth, Christoph Welsch. 115-132
- Pruning and Scheduling Speculative Work in Or-Parallel PrologBogumil Hausman. 133-150
- Performance Analysis of a Parallel Prolog: A Correlated ApproachJacques Chassin de Kergommeaux, Uri Baron, Wolfgang Rapp, Michael Ratcliffe. 151-164
- Visual Concurrent Object-Based Programming in GARPSteven K. Goering, Simon M. Kaplan. 165-180
- PARLE: A Parallel Target Language for Integrating Symbolic and Numeric ProcessingApostolos Nikolaos Refenes, Eugene Eberbach, Stephen C. McCabe, Philip C. Treleaven. 181-198
- A Method for Refining Atomicity in Parallel AlgorithmsRalph-Johan Back. 199-216
- Comparing Two Fully Abstract Dataflow ModelsBengt Jonsson, Joost N. Kok. 217-234
- Learning by Back-Propagation: Computing in a Systolic WayJosé del R. Millán, Pau Bofill. 235-252
- Towards Systolizing Compilation: An OverviewChristian Lengauer. 253-272
- Strategies for a Massively Parallel Implementation of Simulated AnnealingFabrizio Baiardi, Salvatore Orlando. 273-287
- The Compaction of Acyclic TermsGaétan Hains. 288-303
- A Single-Assignment Language in a Distributed Memory MultiprocessorParaskevas Evripidou, Walid A. Najjar, Jean-Luc Gaudiot. 304-320
- Single-Assignment Semantics for Imperative ProgramsBjörn Lisper. 321-334
- A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming SystemsZhiyi Hwang, Shouren Hu. 335-345
- Data structures for parallel execution of functional languagesGiuseppe Marino, Giancarlo Succi. 346-356
- The Typed lambda-Calculus with First-Class ProcessesFlemming Nielson. 357-373
- ASPEN: A Stream Processing EnvironmentBrian Livezey, Richard R. Muntz. 374-388
- The Expressive Power of Simple ParallelismJoachim Parrow. 389-405
- Compositionality in the Temporal Logic of Concurrent Systems (extended abstract)Frank S. de Boer. 406-423
- A Temporal-Logic Based Compositional Proof System for Real-Time Message PassingJozef Hooman, Jennifer Widom. 424-441