Action refinement in process algebras /

Advances in languages and compilers for parallel processing /
Published: (1991)

Portability and performance for parallel processing /
Published: (1994)

Process algebra : equational theories of communicating processes /
by: Baeten, J. C. M.
Published: (2010)

Semantics for concurrency : proceedings of the International BCS-FACS Workshop /
Published: (1990)

Semantics of parallelism : non-interleaving representation of behaviour /
by: Shields, M. W. (Michael William), 1950-
Published: (1997)

Parallel processing and the future data center : computing in the land of the Lilliputians /
by: Schutzer, Daniel, 1940-
Published: (1994)

The massively parallel processing system JUMP-1 /
Published: (1996)

Introduction to concurrency in programming languages /
by: Sottile, Matthew J.
Published: (2010)

Concurrency and programming languages /
by: Harland, David M. (David Michael), 1955-
Published: (1986)

Massively parallel processing applications and development : proceedings of the 1994 EUROSIM Conference on Massively Parallel Processing Applications and Development, Delft, The Netherlands, 21-23 June 1994 /
Published: (1994)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 /
Published: (1979)

Process algebra for parallel and distributed processing /
Published: (2009)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
Published: (1990)

Parallel processing and parallel algorithms : theory and computation /
by: Roosta, Seyed H.
Published: (2000)

Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers /
Published: (2003)

Languages and compilers for parallel computing /
Published: (1990)

Action semantics /
by: Mosses, Peter D.
Published: (1992)

Parallel processing letters.
Published: (1991)

Parallel processing letters.

A hardware implementation of pure Esterel /
by: Berry, Gérard
Published: (1991)

Algebraic approaches to program semantics /
by: Manes, Ernest G., 1943-
Published: (1986)

Simulation programming on a distributed system : a preprocessor approach /
by: Wyatt, Dana L.
Published: (1985)

Parallel evolution of parallel processors /
by: Lerman, Gil
Published: (1993)

Execution models of Prolog for parallel computers /
by: Kacsuk, Péter
Published: (1990)

Intel threading building blocks : outfitting C++ for multi-core processor parallelism /
by: Reinders, James
Published: (2007)

Concepts, design, and performance analysis of a parallel prolog machine /
by: Beer, Joachim, 1955-
Published: (1989)

Concurrent programming in Ada /
by: Burns, Alan, 1953-
Published: (1985)

Programming distributed computing systems : a foundational approach /
by: Varela, Carlos A.
Published: (2013)

Quality of parallel and distributed programs and systems /
Published: (2003)

Proceedings 1995 : programming models for massively parallel computers, October 9-12, 1995, Berlin, Germany /
Published: (1995)

Practical parallel computing /
Published: (2001)

Practical applications of parallel computing /
Published: (2003)

Highly parallel computing /
by: Almasi, George S., 1938-
Published: (1994)

Parallelism and programming in classifier systems /
by: Forrest, Stephanie
Published: (1991)

CUDA programming : a developer's guide to parallel computing with GPUs /
by: Cook, Shane
Published: (2013)

Parallel processing in control : the transputer and other architectures /
Published: (1988)