×

zbMATH — the first resource for mathematics

An axiomatic proof technique for parallel programs. (English) Zbl 0395.68015
Programming methodology, Collect. Artic. by Memb. of IFIP WG2.3, 130-152 (1978).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software