Abstract is missing.
- A Perspective on Parallel Program DesignJayadev Misra. 2-5
- UNITY to UC: A Case Study in the Derivation of Parallel ProgramsIndranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive Bagrodia, Vernon Austel. 6-20
- Reasoning About Synchronic GroupsGruia-Catalin Roman, H. Conrad Cunningham. 21-38
- An Industrial Experience in the Use of UNITYAntonio Pizzarello. 39-49
- On the UNITY Design DecisionsBeverly A. Sanders. 50-63
- Flexible Program Structures for Concurrent ProgrammingAmbuj K. Singh, Ying Liu. 64-71
- Current Research on LindaDavid Gelernter. 74-76
- Expressing Fine-Grained Parallelism Using Concurrent Data StructuresSuresh Jagannathan. 77-92
- Persistant Linda: Linda + Transactions + Query ProcessingBrian G. Anderson, Dennis Shasha. 93-109
- Parallel Logic Programming Using the Linda Model of ComputationPaolo Ciancarini. 110-125
- Lucinda - A Polymorphic LindaPaul Butcher, Hussein Zedan. 126-146
- A Rationale for Programming with EaseSteven Ericsson Zenith. 147-156
- Intermediate Uniformly Distributed Tuple Space on Transputer MeshesCraig Faasen. 157-173
- Mixing Concurrency Abstractions and ClassesJulian A. Padget, Peter A. Broadbery, David Hutchinson. 174-186
- Coordination Applications of LindaSusanne Hupfer, David Kaminsky, Nicholas Carriero, David Gelernter. 187-194
- The Chemical Reaction ModelDaniel Le Métayer. 196
- Introduction to GammaJean-Pierre Banâtre, Daniel Le Métayer. 197-202
- Parallel Programming with BagsLouis Mussat. 203-218
- Implementation of Gamma on the Connection MachineChristian Creveuil. 219-230
- Parallel Programming with Pure Functional LanguagesRachel Harrison. 231-252
- Parallel Programmming in MaudeJosé Meseguer, Timothy C. Winkler. 253-293
- Parallel Program DesignJean-Pierre Banâtre. 296-297
- The Palindrome Systolic Array RevisitedHervé Le Verge, Patrice Quinton. 298-308
- The Synthesis of Systolic ProgramsMichael Barnett, Christian Lengauer. 309-325
- Synthesizing Delay Insensitive Circuits from Verified ProgramsHenrik Hulgaard, Per H. Christensen, Jørgen Staunstrup. 326-337
- A Distributed Implementation of a Task PoolH. Peter Hofstee, Johan J. Lukkien, Jan L. A. van de Snepscheut. 338-348
- Invariance and Contraction by Infinite Iterations of RelationsMichel Sintzoff. 349-373
- Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable ProceduresDaniel Herman, Laurent Trilling. 374-385