Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

摘要: A case study in irregular parallel programming by A. Chien, M. Straka, J. Dolby, V. Karamcheti, Plevyak, and X. Zhang BSP W. F. McColl Beyond computable functions or escape from the Turing tarpit P. Wegner Compositional specifications of programs: Nondeterministic data flow K. Chandy B. Sanders Building categorical type programs D. Skillicorn The concurrency factory--Practical tools for specification, simulation, verification, implementation concurrent systems R. Cleaveland, N. Gada, Lewis, S. Smolka, O. Sokolsky, Operational implication conditional unity properties Y.-K. Tsay L. Bagrodia On set-based algorithms Hummel granularity events distributed computations Hurfin, Plouzeau, Raynal Atomic transactions multiprocessor programming: formal approach Lynch practical model Snyder program building tool applications Ahmed, Carriero, Gelernter Higher-order multiset Le Metayer Specifying a functional language: EPL experience Szymanski Developing molecular dynamics simulation codes using mixed language T. DeBoni, Feo, H. Caffey, Hausheer Actor languages specification G. Agha, Kim, Panwar mode system moded flat GHC Ueda ABCL/$f$: future-based polymorphic typed object-oriented language--Its design Taura, Matsuoka, Yonezawa TLA pictures Lamport Specification, transformation, rewriting logic Lincoln, Marti-Oliet, Meseguer Constraint satisfaction as basis designing nonmasking fault-tolerance Arora, Gouda, Varghese discipline multiprogramming Misra Specification development with proteus Goldberg, Mills, Nyland, Prins, Reif, Riely.