Specifying the Caltech asynchronous microprocessor

DOI10.1016/0167-6423(95)00023-2MaRDI QIDQ1916360zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 11 September 1996

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://resolver.caltech.edu/CaltechAUTHORS:20170409-083932724

zbMATH Keywords

spatial decomposition

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Recommendations

• On specification of multiprocessor computing
• scientific article; zbMATH DE number 988156
• Algebraic models of microprocessors architecture and organisation
• Formal modeling and verification of microprocessors
• Algebraic models of correctness for microprocessors

Cited in

(3)

• Procedures and atomicity refinement
• On specification of multiprocessor computing
• Action systems in incremental and aspect-oriented modeling

This page was built for publication: Specifying the Caltech asynchronous microprocessor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1916360)