[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

# Logic & Computability

## Table of Contents

- Background, Reserve, and Gandy Machines
- Choiceless Polynomial Time
- Choice Logics
- Complete Logic
  - Full Paper
  - Extended Abstract
- EDL
- Linear-Time Hierarchy
- Logspace Reducibility
- Metafinite Model Theory
- Partial Correctness Logics
- Pure Mathematics
- Tableau Calculus
- Unordered Structures
- Zero-One Law
  - Popular Version
  - Full Version

[an error occurred while processing this directive]