Theory and Practice of Parallel Programming

This volume presents the proceedings of the 1st International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. The conference focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programmes, semantics of languages, implementation of languages and systems, and architectural support for parallelism and massively parallel computation.