A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

DOI10.1007/978-3-540-73859-6_17MaRDI QIDQ3612494zbMATH OpenOpenAlexFDO

Authors Andreas Glausch, Wolfgang Reisig

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_17

Mathematics Subject Classification ID

Recommendations

• The computable kernel of abstract state machines
• On Gurevich's theorem on sequential algorithms
• scientific article; zbMATH DE number 2172808
• scientific article; zbMATH DE number 5999715
• An ASM-characterization of a class of distributed algorithms

This page was built for publication: A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

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