Abstract state machines

Known as: ASM, Abstract state machine, Evolving Algebras 
In computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A concurrent Abstract State Machine (ASM) is a family of agents each equipped with a sequential ASM to execute. We define the… (More)
Is this relevant?
2004
2004
SystemC is a system level language recently proposed to raise the abstraction level for embedded systems design and verification… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
State Machines 
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We give an axiomatic description of parallel, synchronous algorithms. Our main result is that every such algorithm can be… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
states, which can be richly structured, possibly unbounded or even infinite, as known from the theory of abstract data types and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This… (More)
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We examine sequential algorithms and formulate a sequential-time postulate, an abstract-state postulate, and a bounded… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We provide an introduction to a practical method for rigorous system development which has been used successfully, under… (More)
  • figure I
Is this relevant?
1997
1997
State Machines (ASM) ist eine formale Spezifikationssprache, die es erlaubt, auf einem hohen Abstraktionsniveau zu modellieren… (More)
  • figure 1
Is this relevant?
1997
1997
According to the ASM thesis, any algorithm is essentially a Gurevich abstract state machine. The only objection to this thesis… (More)
Is this relevant?