On the axiomatic verification of concurrent algorithms

View on Open Library

On the axiomatic verification of concurrent algorithms

by Christian Lengauer

No reviews yet

First published: 1978 1 language

Subjects

Electronic data processing Computer programming Abstract data types (Computer science)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Christian Lengauer

Domain-specific program generation

Domain-specific program generation

Euro-Par'97 Parallel Processing

Euro-Par'97 Parallel Processing

Constructive methods for parallel programming

Constructive methods for parallel progra...

A systolic array for pyramidal algorithims

A systolic array for pyramidal algorithi...

You Might Also Like

More in Electronic data proc...

Tax administration

Tax administration

United States. General Accounting Office

Advances in imaging and electron physics

Advances in imaging and electron physics

Peter W. Hawkes

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Course ILT

Course Technology

Tax administration

Tax administration

United States. General Accounting Office

Introducing Computers

Introducing Computers

Robert H. Blissmer