1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... -- Architecture of a communication network processor -- The feasibility of a general-purpose parallel computer...

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... -- Eliminating redundant interleavings during concurrent program verification -- Dataflow programs for parallel...

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...EDS: A parallel computer system for advanced information processing -- A decompositional approach...