[an error occurred while processing this directive]
[an error occurred while processing this directive]
Abstract State Machines
Introduction
Papers
by Author
by Citation
by Title
Tools
WWW/FTP Sites
For Educators
ASM Community
Conferences
ABZ 2010, Orford, Quebec, Canada
What's New
New in 2005
New in 2003
New in 2002
New in 2001
New in 2000
New in 1999
New in 1998
New in 1997
New in 1996
New in 1995
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
Protocols
Table of Contents
Abstract Encryption
Cryptographic Protocol Analysis
FLASH Cache Coherence Protocol
Specification & Verification
Model Checking Verification
Group Membership Protocol
Kerberos
Kermit File Transfer Protocol
Location Consistency
[an error occurred while processing this directive]