Compositionality View on Open Library

Compositionality

by W.-P. de Roever , Hans Langmaack , A. Pnueli , Germany) COMPOS '97 (1997 Malente

No reviews yet
First published: 1998 1 language
Subjects
Parallel processing (Electronic computers) Congresses Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by W.-P. de Roever

Data refinement

Data refinement

Stepwise refinement of distributed systems

Stepwise refinement of distributed syste...

Concurrency verification

Concurrency verification

A Decade of concurrency

A Decade of concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Linear Time, Branching Time and Partial ...

Data refinement

Data refinement

You Might Also Like

More in Parallel processing ...
Job scheduling strategies for parallel processing

Job scheduling strategies for parallel p...

JSSPP'99 (1999 San Juan, P.R.)
Parallel Processing and Applied Mathematics

Parallel Processing and Applied Mathemat...

Roman Wyrzykowski
Advances in Electronics and Electron Physics (Advances in Imaging and Electron Physics)

Advances in Electronics and Electron Phy...

Peter W. Hawkes
Genetic and Evolutionary Computing

Genetic and Evolutionary Computing

Jeng-Shyang Pan
Parallel Computing Technologies

Parallel Computing Technologies

Victor Malyshkin
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Paralle...

Sheng Wen