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

DOI10.1007/978-3-030-76020-5_18MaRDI QIDQ2117610zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1951202
• Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
• Concurrent abstract state machines
• scientific article; zbMATH DE number 1302026

Cites work

• scientific article; zbMATH DE number 1630102 (Why is no real title available?)
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1670507 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 1951202 (Why is no real title available?)
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• scientific article; zbMATH DE number 2086951 (Why is no real title available?)
• Abstract State Machines
• Abstract State Machines 2004. Advances in Theory and Practice
• An overview of the K semantic framework
• Recursive functions of symbolic expressions and their computation by machine, Part I
• SIMULA: an ALGOL-based simulation language
• Semantics of context-free languages
• The abstract state machines method for modular design and analysis of programming languages

Cited in

(2)

• Designing and using a single-step functional model of an asynchronous automaton
• scientific article; zbMATH DE number 1951202 (Why is no real title available?)

Describes a project that uses

Uses Software

• XASM
• Simula 67
• K Prover

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

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