Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
From MaRDI portal
Publication:3612497
DOI10.1007/978-3-540-73859-6_20zbMath1214.68230OpenAlexW1819377154MaRDI QIDQ3612497
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_20
Abstract data types; algebraic specification (68Q65) Mathematical problems of computer architecture (68M07)