Normalization of Some Extended Abstract State Machines

DOI10.1007/978-3-642-15025-8_9zbMATH Open1287.68044OpenAlexW1547951769MaRDI QIDQ3586002FDOQ3586002

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

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

zbMATH Keywords

algorithmsemanticsabstract state machine

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (4)

• Title not available (Why is that?)
• Axiomatization and characterization of BSP algorithms
• The abstract state machines method for modular design and analysis of programming languages
• Abstract State Machines 2004. Advances in Theory and Practice

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)