You have Guest access.
Log In
Bernhard Möller and John V. Tucker
Front matter
624
Introduction: NADA and NIL
Streams, Stream Transformers and Domain Representations
623-624
Ideal Stream Algebra
Normalization by Evaluation
Algebraic Models of Superscalar Microprocessor Implementations: a Case Study
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
66
Towards an Algebraic Specification of the Java Virtual Machine
Grid Protocol Specifications
The Computational Description of Analogue System Behaviour
Reasoning about Imperfect Digital Systems
Formal Verification and Hardware Design with Statecharts
623
An Exercise in Conditional Refinement
Deductive Hardware Design: A Functional Approach
The NADA Group
Jens Blanck, Viggo Stoltenberg-Hansen and John V. Tucker
Bernhard Möller
Ulrich Berger, Matthias Eberl and Helmut Schwichtenberg
A. C. J. Fox and N. A. Harman
M. J. Poole, J. V. Tucker and A. V. Holden
K. Stephenson
Jan A. Bergstra and Alban Ponse
Peter T. Breuer, Natividad Martínez Madrid and Carlos Delgado Kloos
Keith Hanna
Jan Philipps and Peter Scholz
Ketil Stølen and Max Fuchs
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info