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

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

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

Recommendations

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• A logic for non-deterministic parallel abstract state machines
• 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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Designing and using a single-step functional model of an asynchronous automaton

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)