Specifying the Caltech asynchronous microprocessor

DOI10.1016/0167-6423(95)00023-2zbMath0848.68022OpenAlexW2038643359MaRDI QIDQ1916360

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)

Related Items (2)

Procedures and atomicity refinement ⋮ Action systems in incremental and aspect-oriented modeling

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