Moded and continuous abstract state machines

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

Richard Banach, Huibiao Zhu

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?)
• Title not available (Why is that?)
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• 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
• Title not available (Why is that?)
• 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)