Prospects for Hardware Foundations

Keyphrases

Publications

1998

M. J. Poole, Arun V. Holden, John V. Tucker
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms. Prospects for Hardware Foundations (1998)
Bernhard Möller
Idel Stream Algebra. Prospects for Hardware Foundations (1998)
Jan Philipps, Peter Scholz
Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations (1998)
Ketil Stølen, Max Fuchs
An Exercise in Conditional Refinement. Prospects for Hardware Foundations (1998)
Bernhard Möller
Deductive Hardware Design: A Functional Approach. Prospects for Hardware Foundations (1998)
Jan A. Bergstra, Alban Ponse
Grid Protocol Specifications. Prospects for Hardware Foundations (1998)
Keith Hanna
Reasoning about Imperfect Digital Systems. Prospects for Hardware Foundations (1998)
Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
The Computational Description of Analogue System Behaviour. Prospects for Hardware Foundations (1998)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations (1998)
Karen Stephenson
Towards an Algebraic Specification of the Java Virtual Machine. Prospects for Hardware Foundations (1998)
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
Normalisation by Evaluation. Prospects for Hardware Foundations (1998)
Anthony C. J. Fox, Neal A. Harman
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. Prospects for Hardware Foundations (1998)

volume 1546, 1998

Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters Prospects for Hardware Foundations 1546 (1998)