Composition and submachine concepts for sequential ASMs

DOI10.1007/3-540-44622-2_3MaRDI QIDQ2753665zbMATH OpenFDO

Authors Egon Börger, Joachim Schmid

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44622-2_3

Mathematics Subject Classification ID

Recommendations

• Compositional synthesis of asynchronous automata
• scientific article; zbMATH DE number 1343482
• Composition sequences and synchronizing automata
• scientific article; zbMATH DE number 3248552
• Sequential composition in the presence of intermediate termination (extended abstract)
• Revisiting sequential composition in process calculi
• On reduction of sequential-parallel compositional programs to entirely sequential form
• scientific article; zbMATH DE number 1531369
• scientific article; zbMATH DE number 1549510

Cited in

(10)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Semantic essence of AsmL
• scientific article; zbMATH DE number 1343482 (Why is no real title available?)
• The hidden computation steps of turbo abstract state machines
• Consistent integration for sequential abstract state machines
• scientific article; zbMATH DE number 2000398 (Why is no real title available?)
• A data-flow approach to test multi-agent ASMs
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Abstract State Machines 2004. Advances in Theory and Practice

This page was built for publication: Composition and submachine concepts for sequential ASMs

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