Moded and continuous abstract state machines

DOI10.1007/978-3-030-76020-5_3OpenAlexW3157881261MaRDI QIDQ2115900FDOQ2115900

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

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

Mathematics Subject Classification ID

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

Cites Work

• A theory of timed automata
• Title not available (Why is that?)
• Languages and Tools for Hybrid Systems Design
• Title not available (Why is that?)
• Verification and Control of Hybrid Systems
• Abstract State Machines
• Title not available (Why is that?)
• Modeling in Event B. System and software engineering.
• The B-Book
• Title not available (Why is that?)
• Real analysis
• The ASM refinement method
• Statistical model checking for cyber-physical systems
• Concurrent programming: algorithms, principles, and foundations.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid I/O automata.
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Title not available (Why is that?)
• Title not available (Why is that?)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logical foundations of cyber-physical systems
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• Handbook of ordinary differential equations. Exact solutions, methods, and problems
• Title not available (Why is that?)

Cited In (5)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Concurrent abstract state machines
• Title not available (Why is that?)
• Normalization of Some Extended Abstract State Machines
• Modal functions for concise definition of state machines and products

Uses Software

• Rodin
• Z

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)