The following pages link to Abstract State Machines (Q4429922):
Displaying 32 items.
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Execution trace sets for real computation (Q2699944) (← links)
- A Proof System with Bounded Non-determinism in Database Transformations (Q3092325) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Abstract State Machines for Data-Parallel Computing (Q3224004) (← links)
- BIOMICS: a Theory of Interaction Computing (Q3295752) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Data Flow Analysis and Testing of Abstract State Machines (Q3535367) (← links)
- A Verified AsmL Implementation of Belief Revision (Q3535368) (← links)
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (Q3540414) (← links)
- ASMs and Operational Algorithmic Completeness of Lambda Calculus (Q3586009) (← links)
- Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011) (← links)
- Abstract State Machines and the Inquiry Process (Q3586012) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- Composition of Model Programs (Q3614846) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- A Characterization of Distributed ASMs with Partial-Order Runs (Q5040367) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
- (Q5079746) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
- Semantics in Data and Knowledge Bases (Q5504576) (← links)
- An Algebraic Semantics for Contract-Based Software Components (Q5505425) (← links)
- (Q5866352) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
- Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data (Q6104434) (← links)
- A complete fragment of LTL(EB) (Q6630198) (← links)
