Algebraic models of correctness for microprocessors
From MaRDI portal
Publication:5930075
DOI10.1007/PL00003936zbMath0971.68102OpenAlexW1975427082MaRDI QIDQ5930075
Publication date: 17 April 2001
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00003936
Related Items
Parallelized sequential composition and hardware weak memory models, The data type of spatial objects, Algebraic models of correctness for abstract pipelines., Algebraic models of behaviour and correctness of SMT and CMT processors, Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
Uses Software