Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
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… Expand
Is this relevant?
Highly Cited
2012
Highly Cited
2012
 
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Finite state machine-derived specifications such as X-machines, extended finite state machines and abstract state machines, are… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
State Machines 
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
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… Expand
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… Expand
  • 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… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
  • Y. Gurevich
  • Specification and validation methods
  • 1993
  • Corpus ID: 15580311
2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4… Expand
Is this relevant?