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...