DocumentCode

3127791

Title

Completeness of the owicki-gries system for parameterized parallel programs

Author

Prensa-Nieto, Leonor

Author_Institution

Technische Universitat Munchen

fYear

2000

fDate

23-27 April 2000

Firstpage

1534

Lastpage

1541

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing Symposium., Proceedings 15th International

Conference_Location

San Francisco, CA, USA

ISSN

1530-2075

Print_ISBN

0-7695-0990-8

Type

conf

DOI

10.1109/IPDPS.2001.925138

Filename

925138