Abstract is missing.
- Preface
- Foreward
- A Case Study in Irregular Parallel ProgrammingAndrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang. 1-20
- BSP ProgrammingWilliam F. McColl. 21-36
- Beyond Computable Functions or Escape form the Turing TarpitPeter Wegner. 37-50
- Compositional Specifications of Parallel Programs: NondeterministicData FlowK. Mani Chandy, Beverly A. Sanders. 51-64
- Building Categorical Data Type ProgramsDavid B. Skillicorn. 65-74
- The Concurrency Factory- Practical Tools for Specification, Stimulation, Verification, and Implementation for Concurrent SystemsRance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang. 75-90
- Operational Implication of Conditional Unity PropertiesYih-Kuen Tsay, Rajive L. Bagrodia. 91-100
- On the Implementation of Set-based Parallel AlgorithmsSusan Flynn Hummel. 101-114
- On Granularity of Events in Distributed ComputationsMichel Hurfin, Noël Plouzeau, Michel Raynal. 115-124
- Atomic Transactions for Multiprocessor Programming: A Formal ApproachNancy A. Lynch. 125-142
- A Practical Parallel Programming ModelLawrence Snyder. 143-160
- A Program Building Tool for Parallel ApplicationsShakil Ahmed, Nicholas Carriero, David Gelernter. 161-178
- Higher-Order Multiset ProgrammingDaniel Le Métayer. 179-200
- Specifying Parallel Programs in a Functional Language: The EPL ExperienceBoleslaw K. Szymanski. 201-224
- Developing Molecular Dynamics Simulation Codes Using Mixed Language ProgrammingThomas DeBoni, John Feo, Hugh Caffey, Frederick H. Hausheer. 225-238
- Actor Languages for Specification of Parallel ComputationsGul A. Agha, WooYoung Kim, Rajendra Panwar. 239-258
- The Mode System of Moded Flat GHCKazunori Ueda. 259-274
- ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and ImplementationKenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa. 275-292
- TLA in PicturesLeslie Lamport. 293-308
- Specification, Transformation, and Programming of Concurrent Systemsin Rewriting LogicPatrick Lincoln, Narciso Martí-Oliet, José Meseguer. 309-340
- Constraint Satisfaction as a Basis for Designing Nonmasking Fault-ToleranceAnish Arora, Mohamed G. Gouda, George Varghese. 341-356
- A Discipline of MultiprogrammingJayadev Misra. 357-382
- Specification and Development of Parallel Algorithms with the ProteusSystemAllen Goldberg, Peter Mills, Lars S. Nyland, Jan Prins, John H. Reif, James Riely. 383