Universal realization, persistent interconnection and implementation of abstract modules

This publication has 19 references indexed in Scilit:

• Abstract implementation of abstract data types
  Published by Springer Nature ,2005
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1982
• Final algebra semantics and data type extensions
  Journal of Computer and System Sciences, 1979
• An example of hierarchical design and proof
  Communications of the ACM, 1978
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976
• Realization is universal
  Theory of Computing Systems, 1972
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Automata in general algebras
  Information and Control, 1967