Study of stepwise simulation between ASM

DOI10.1007/978-3-030-22996-2_14MaRDI QIDQ2179358zbMATH OpenOpenAlexFDO

Authors Julien Cervelle, Patrick Cégielski

Publication date 12 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-22996-2_14

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09)

Recommendations

• Abstract state machines capture parallel algorithms
• Ordinary interactive small-step algorithms, III
• The computable kernel of abstract state machines
• Ordinary interactive small-step algorithms, II
• scientific article; zbMATH DE number 5173926

This page was built for publication: Study of stepwise simulation between ASM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2179358)