scientific article; zbMATH DE number 2172808

MaRDI QIDQ4680195zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 2 June 2006

zbMATH Keywords

Abstract State Machinescomputation modelsexpressive powersequential algorithmsspecification techniquetransition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1670502
• scientific article; zbMATH DE number 1841822
• The computable kernel of abstract state machines
• scientific article; zbMATH DE number 1670504
• Abstract state machines and computationally complete query languages
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• The abstract state machines method for modular design and analysis of programming languages
• scientific article; zbMATH DE number 1670503
• scientific article; zbMATH DE number 1951202

Cited in

(21)

• Proving properties of the Chord protocol using the ASM formalism
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Abstract state machines and computationally complete query languages
• Reactive computing as model generation
• scientific article; zbMATH DE number 1670467 (Why is no real title available?)
• scientific article; zbMATH DE number 1670503 (Why is no real title available?)
• scientific article; zbMATH DE number 1670504 (Why is no real title available?)
• Abstract effective models
• An ASM-characterization of a class of distributed algorithms
• Refinements in Typed Abstract State Machines
• Three paths to effectiveness
• A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
• scientific article; zbMATH DE number 1951202 (Why is no real title available?)
• scientific article; zbMATH DE number 1543040 (Why is no real title available?)
• scientific article; zbMATH DE number 1543042 (Why is no real title available?)
• scientific article; zbMATH DE number 1543044 (Why is no real title available?)
• scientific article; zbMATH DE number 1841822 (Why is no real title available?)
• Abstract State Machines with Exact Real Arithmetic
• Foundations of Information and Knowledge Systems
• Can abstract state machines be useful in language theory?
• The computable kernel of abstract state machines

This page was built for publication:

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