×

zbMATH — the first resource for mathematics

Behavioural equivalence - a unifying concept for initial and final specification methods. (English) Zbl 0479.68017
Mathematical models in computer systems, Proc. 3rd Hung. Comput. Sci. Conf., Budapest 1981, 27-39 (1981).

MSC:
68P05 Data structures
68N01 General topics in the theory of software