Observational Specification: A Birkhoff-Theorem

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 119-135
https://doi.org/10.1007/978-3-662-09691-8_10

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Control Flow and Data Flow: Concepts of Distributed Programming
Published by Springer Nature ,1986
Fundamentals of Algebraic Specification 1
Published by Springer Nature ,1985
Universal realization, persistent interconnection and implementation of abstract modules
Published by Springer Nature ,1982
On the algebraic extensions of abstract data types
Lecture Notes in Computer Science, 1981
Algorithmische Sprache und Programmentwicklung
Published by Springer Nature ,1981
Fully abstract models of typed λ-calculi
Theoretical Computer Science, 1977
On the Structure of Abstract Algebras
Mathematical Proceedings of the Cambridge Philosophical Society, 1935