[an error occurred while processing this directive] [an error occurred while processing this directive] ton">ASM Community
/sdl.html"> "Abstract State Machine Semantics of SDL"
  • "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol"
  • "An Abstract State Machine specification of the DEC-Alpha Processor Family"
  • "Abstract State Machines Capture Parallel Algorithms"
  • "Abstract State Machines Capture Parallel Algorithms: Correction and Extension"
  • "Abstract State Machines: A Method for High-Level System Design and Analysis"
  • "Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks"
  • "Abstract State Machines 1988-1998: Commented ASM Bibliography"
  • "Abstract state machines and computationally complete query languages"
  • "Abstract State Machines and Pure Mathematics"
  • "Algebraic Operational Semantics and Occam"
  • "Algebraic Specification of Dynamic Objects"
  • "Algorithms vs. Machines"
  • "The ASM Refinement Method"
  • "An ASM-Based Approach for Mobile Systems"
  • "ASM-Based Mechanized Verification of Compiler Back-Ends"
  • "An ASM Dynamic Semantics for Standard ML"
  • "An ASM Dynamic Semantics for Standard ML" (Extended Abstract)
  • "The ASM Ground Model Method as a Foundation of Requirements Engineering"
  • "An ASM Implementation of a Self-Applicable Partial Evaluator"
  • "An ASM Macro Language for Sets"
  • "The ASM Refinement Method"
  • "An ASM Semantics for UML Activity Diagrams"
  • "An ASM Specification of the Operational Semantics of MIS"
  • "Automatic Verification of Abstract State Machines"
  • "An Automatic Verification Tool for UML"

    [B]


    [C]


    [D]


    [E]


    [F]


    [G]


    [H]


    [I]


    [J]


    [K]


    [L]


    [M]


    [N]


    [O]


    [P]


    [Q]


    [R]


    [S]


    [T]


    [U]


    [V]


    [W]


    [X]


    [Y]

    No papers in this category.

    [Z]

    No papers in this category. [an error occurred while processing this directive]

    Abstract State Machines