×

zbMATH — the first resource for mathematics

Non deterministic programs: An algebraic overview. (English) Zbl 0444.68011
Information processing, Proc. IFIP Congr., Tokyo and Melbourne 1980, 17-28 (1980).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification