A survey of verification techniques for parallel programs
Material type:
- 3540152393
Contents:
Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | A.0.2 BAR (Browse shelf(Opens below)) | Available | DIF-00326 |
Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.