×

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.)

Citations:

Zbl 0426.00014