Normalization of Some Extended Abstract State Machines

DOI10.1007/978-3-642-15025-8_9MaRDI QIDQ3586002zbMATH OpenOpenAlexFDO

Authors Irène Guessarian, Patrick Cégielski

Publication date 3 September 2010

Published in Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15025-8_9

zbMATH Keywords

algorithmsemanticsabstract state machine

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2102724
• Refinements in Typed Abstract State Machines
• Moded and continuous abstract state machines
• NORMALIZED EXPRESSIONS AND FINITE AUTOMATA
• scientific article; zbMATH DE number 1309176
• scientific article; zbMATH DE number 1670503
• Normality and automata
• scientific article; zbMATH DE number 1670519
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• scientific article; zbMATH DE number 5263412

Cited in

(4)

• Abstract State Machines 2004. Advances in Theory and Practice
• The abstract state machines method for modular design and analysis of programming languages
• scientific article; zbMATH DE number 1951197 (Why is no real title available?)
• Axiomatization and characterization of BSP algorithms

Describes a project that uses

Uses Software

• AsmL

This page was built for publication: Normalization of Some Extended Abstract State Machines

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