Reichel, H. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 23 Documents MSC: 68P05 Data structures 68N01 General topics in the theory of software Keywords:semantics of specification languages; abstract data types; equivalence of abstract automata Citations:Zbl 0464.00023 PDFBibTeX XML