A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines

DOI10.1007/978-3-030-76020-5_18OpenAlexW3167930107MaRDI QIDQ2117610

Wolf Zimmermann, Mandy Weißbach

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_18

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• XASM
• Simula 67
• K Prover

Cites Work

• An overview of the K semantic framework
• The abstract state machines method for modular design and analysis of programming languages
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Abstract State Machines
• SIMULA: an ALGOL-based simulation language
• Semantics of context-free languages
• Abstract State Machines 2004. Advances in Theory and Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines