×

zbMATH — the first resource for mathematics

Characterizing correctness properties of parallel programs using fixpoints. (English) Zbl 0456.68016
Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 169-181 (1980).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)