Moded and continuous abstract state machines

DOI10.1007/978-3-030-76020-5_3MaRDI QIDQ2115900zbMATH OpenOpenAlexFDO

Authors Huibiao Zhu, Richard Banach

Publication date 22 March 2022

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1670519
• scientific article; zbMATH DE number 1670503
• scientific article; zbMATH DE number 1543047
• Ambient abstract state machines with applications
• scientific article; zbMATH DE number 1670502
• Concurrent abstract state machines
• scientific article; zbMATH DE number 1841822
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1951199

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• scientific article; zbMATH DE number 5839262 (Why is no real title available?)
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 5368984 (Why is no real title available?)
• scientific article; zbMATH DE number 1183917 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 868108 (Why is no real title available?)
• scientific article; zbMATH DE number 5173925 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• A theory of timed automata
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Abstract State Machines
• Concurrent programming: algorithms, principles, and foundations.
• Handbook of ordinary differential equations. Exact solutions, methods, and problems
• Hybrid I/O automata.
• Languages and Tools for Hybrid Systems Design
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Logical foundations of cyber-physical systems
• Modeling in Event B. System and software engineering.
• Real analysis
• Statistical model checking for cyber-physical systems
• The ASM refinement method
• The B-Book
• Verification and Control of Hybrid Systems

Cited in

(5)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Concurrent abstract state machines
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• Normalization of Some Extended Abstract State Machines
• Modal functions for concise definition of state machines and products

Describes a project that uses

Uses Software

• Z
• Rodin

This page was built for publication: Moded and continuous abstract state machines

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