Includes bibliographical references.

A case study in irregular parallel programming / A. Chien ... [et al.] -- BSP programming / W.F. McColl -- Beyond computable functions or escape from the turing tarpit / Peter Wegner -- Compositional specifications of parallel programs : nondeterministic data flow / K. Mani Chandy and Beverly A. Sanders -- Building categorical data type programs / D.B. Skillicorn -- The concurrency factory : practical tools for specification, simulation, verification, and implementation of concurrent systems / R. Cleaveland ... [et al.] -- Operational implication of conditional unity properties / Yih-Kuen Tsay and Rajive L. Bagrodia -- On the implementation of set-based parallel algorithms / Susan Flynn Hummel -- On granularity of events in distributed computations / Michael Hurfin, NoÌel Plouzeau, and Michel Raynal -- Atomic transactions for multiprocessor programming : a formal approach / Nancy Lynch -- A practical parallel programming model / Lawrence Snyder -- A program building tool for parallel applications / Shakil Ahmed, Nicholas Carriero, and David Gelernter -- Higher-order multiset programming / Daniel Le Métayer -- Specifying parallel programs in a functional language : the EPL experience / Boleslaw K. Szymanski -- Developing molecular dynamics simulation codes using mixed language programming / Thomas DeBoni ... [et al.] -- Actor languages for specification of parallel computations / Gul Agha, Wooyoung Kim, and Rajendra Panwar -- The mode system of moded flat GHC / Kazunori Ueda -- ABCL/f : a future-based polymorphic typed concurrent object-oriented language, its design and implementation / Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa -- TLA in pictures / Leslie Lamport -- Specification, transformation, and programming of concurrent systems in rewriting logic / Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer -- Constraint satisfaction as a basis for designing nonmasking fault-tolerance / Anish Arora, Mohamed Gouda, and George Varghese -- A discipline of multiprogramming / Jayadev Misra -- Specification and development of parallel algorithms with the Proteus system / Allen Goldberg ... [et al.] .