scientific article; zbMATH DE number 1951194
From MaRDI portal
Publication:4413682
Recommendations
- scientific article; zbMATH DE number 1951192
- Abstract state machines capture parallel algorithms
- Abstract State Machines 2004. Advances in Theory and Practice
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- scientific article; zbMATH DE number 1670469
Cited in
(4)- scientific article; zbMATH DE number 1951192 (Why is no real title available?)
- A high-level modular definition of the semantics of C\(_{\sharp}\)
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Abstract State Machines 2004. Advances in Theory and Practice
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 Q4413682)