scientific article; zbMATH DE number 2162121

MaRDI QIDQ4671952zbMATH OpenFDO

Authors Zsolt Németh

Publication date 28 April 2005

zbMATH Keywords

design processparallel Prolog modelredesign process

Mathematics Subject Classification ID

Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Abstract state machines capture parallel algorithms: correction and extension
• Abstract state machines capture parallel algorithms
• scientific article; zbMATH DE number 1543045
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1951182

Cited in

(3)

• Formal verification technique for grid service chain model and its application
• Abstract state machines for data-parallel computing
• CoreASM: an extensible ASM execution engine

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 Q4671952)