Abstract is missing.
- Loosely-Coupled ProcessesJayadev Misra. 1-26
- Rendezvous with Metric SemanticsJ. W. de Bakker, Erik P. de Vink. 27-57
- Embeddings Among Concurrent Programming Languages (Abstract)Ehud Y. Shapiro. 58
- Invariants and Paradigms of Concurrency TheoryRyszard Janicki, Maciej Koutny. 59-74
- Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel SystemsLuis M. Alonso, Ricardo Pena. 75-91
- Models for Dynamically Placed Concurrent ProcessesJean Fanchon, D. Millot. 92-109
- Formalisation of the Behavior of Actors by Colored Petri Nets and Some ApplicationsYamina Sami, Guy Vidal-Naquet. 110-127
- Program Refinement in Fair Transition SystemsAmbuj K. Singh. 128-147
- Communication Abstraction and RefinementJ. T. Yantchev. 148-165
- On the Semantics of Languages for Massively Parallel SIMD ArchitecturesLuc Bougé. 166-183
- A Denotional Real-Time Semantics for Shared ProcessesJozef Hooman. 184-201
- Concurrent CleanE. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. 202-219
- The Scriptive Programming LanguageAndré van Delft. 220-237
- Structural Operational Semantics for Kernel Andorra PrologSeif Haridi, Catuscia Palamidessi. 238-253
- Customization of First Class Tuple-Spaces in a Higher-Order LanguageSuresh Jagannathan. 254-276
- A Formal Specification of the Process TrellisMichael Factor. 277-294
- Strong Bisimilarity on Nets RevisitedC. Autant, Z. Belmesk, Ph. Schnoebelen. 295-312
- A Configuration Approach to Parallel ProgrammingJeff Magee, Naranker Dulay. 313-330
- Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor SystemJean-Luc Gaudiot, Chih-Ming Lin. 331-348
- Parallel Associative Combinator EvaluationMartin Waite, Bret Giddings, Simon H. Lavington. 349-366
- Static Analysis of Term Graph Rewriting SystemsChris Hankin. 367-384
- Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory MultiprocessorJacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux. 385-402
- Flexible Scheduling of OR-Parallel Logic Programming SystemsAnthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren. 421-438
- Interfacing Engines and Schedulers in OR-Parallel Prolog SystemsPéter Szeredi, Rong Yang, Mats Carlsson. 439-453
- Reduction of Code Space in Parallel Logic Programming SystemsZhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao. 454-470
- Search Level Parallel Processing of Production SystemsSatoshi Fujita, Masafumi Yamashita, Tadashi Ae. 471-488