×

zbMATH — the first resource for mathematics

Verifying properties of parallel programs: An axiomatic approach. (English) Zbl 0322.68010

MSC:
68N01 General topics in the theory of software
68W99 Algorithms in computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI