[an error occurred while processing this directive]
[an error occurred while processing this directive]

# Abstract State Machines

#### Subjects

#### Methodology

- Books
- Discussions
- Historical Surveys & Bibliographies
- Introductory Materials
- Refinement

#### Applications

- Abstract Algorithms
- Architectures (hardware and software)
- Benchmark Examples
- Compiler Correctness
- Databases
- Distributed Systems
- Hardware
- Industrial Reports
- Interpreters & Tools (papers only)
- Java
- Logic & Computability
- Mechanical Verification
- Models of Computation (other)
- Montages
- Natural Languages
- Programming Languages
- Protocols
- Real-Time Systems
- Security
- Software Engineering
- UML
- Verification
- VHDL
- WAM/Logic Programming
- Miscellany

#### ASM Studies

- ASM Explorations
- ASM Extensions

# 2001 What's New: Abstract State Machines

17 August 2001
  - Added another paper on a zero-one law for a version of ASMs.
24 July 2001
  - Added a paper on pure mathematics and ASMs.
  - Added a paper on a zero-one law for a version of ASMs.
  - Added a paper on polynomial time computation over unordered structures.
25 June 2001
  - Added a paper on Universal Plug and Play (UPnP).
21 June 2001
  - Added a paper on specifying COM components.
  - Added a paper on conformance checking COM components.
14 June 2001
  - Added a paper on composition and submachine concepts for ASMs.
  - Added a paper giving a complete logic for ASMs.
12 June 2001
  - Added a link for AsmL to the tools page.
  - Added more information on "Java and the Java Virtual Machine" (a.k.a. "Jbook").
  - Added a couple of (superceded) papers on Java to the Java page.
5 June 2001
  - Added a link for a new book which uses ASMs: Java and the Java Virtual Machine.
26 May 2001
  - Added a link for an early version of a paper on structured ASMs.
24 April 2001
  - Added links for the following papers:
    - A paper exploring the notion of reserve in an ASM.
  - A paper describing a case study at Microsoft applying ASMs to a debugger.
  - A survey paper on ASMs and logic at Microsoft.
23 April 2001
  - Added a link for Montages (the startup company) to the tools page.
  - Added links for the Foundations of Software Engineering group at Microsoft, as well as Modeled Computation LLC to the WWW/FTP Links page.
17 April 2001
  - Updated references (and links) for the following papers:
    - A paper on the ASM Workbench tool.
    - Several papers on the hardware page dealing with the APE100 parallel architecture.
  - Added the following new papers:
    - A paper on heterogeneous system specifications using ASMs.
10 April 2001
  - Updated references (and links) for the following papers:
    - A paper on model checking support for ASMs using SMV
    - A paper on the logic of choice.
20 February 2001
  - Added a (very preliminary) link for ASM 2004 to the ASM Community page.
  - The Mind-it web service which automatically notifies subscribers of changes to monitored web pages is changing. As of 1 April 2001, organizations will no longer be able to place a button on their web pages for automatic registration without paying a fee. Consequently, the button which formerly appeared on this page has been removed. Current users monitoring this web page should not be affected, and new users who wish to monitor this web page can do so by visiting the Mind-it home page.
1 February 2001
  - Created a new page for ASM Community info, including upcoming and past events and a list of ASM theses.
  - The previous "What's New" page has been moved to What's New for 2000.

What's New for 2000

What's New for 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995 [an error occurred while processing this directive]