Foundational Analyses of Computation
From MaRDI portal
Publication:2904416
DOI10.1007/978-3-642-30870-3_27zbMath1357.68053OpenAlexW2140718089MaRDI QIDQ2904416
Publication date: 14 August 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_27
Related Items
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis ⋮ Semantics-to-Syntax Analyses of Algorithms