A survey of verification techniques for parallel programs

By:

Material type: Text

TextSeries: Lecture notes in computer science ; 191Publication details: Berlín : [S.n.], c1985Description: vi, 112 p. ; 25 cmISBN:

Subject(s):

Contents:

Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due
Libro	Biblioteca de la Facultad de Informática	A.0.2 BAR (Browse shelf(Opens below))	Available

Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.

Click on an image to view it in the image viewer