Algebraic models of microprocessors architecture and organisation
From MaRDI portal
Publication:1815999
DOI10.1007/s002360050051zbMath0855.68064MaRDI QIDQ1815999
Publication date: 21 November 1996
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050051
68Q70: Algebraic theory of languages and automata
Related Items
Maurer computers for pipelined instruction processing, Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms, Algebraic models of correctness for abstract pipelines., Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Algebraic models of behaviour and correctness of SMT and CMT processors
Uses Software
Cites Work