What's New: Abstract State Machines

25 May 2007

• Preliminary information on ASM'08 is available from the home page and the ASM Community page.

24 May 2007

• Two tributes to Dean Rosenzweig are available.

2 October 2006

• Removed expired links from the Tools page, and added a link to the CoreASM tool.
• Added the following papers:
  • A discussion on the use of refinements in ASMs.
  • An exposition on Gurevich's sequential ASM Thesis.

29 September 2006

• Added a link for ASM'07 to the front page and the Community page.
• Added a link for ASM 2006 to the Community page.
• Added the following papers:
  • A report on the use of ASMs in FALKO, a Siemens tool for railway timetable validation.
  • A paper discussing the role of the ground model in ASMs.
  • An ASM treatment of the Light Control case study.
  • An updated version of a paper describing various models of computation using ASMs.

13 June 2005

• New instructions for joining the ASM email list appear on the ASM Community page.

2 February 2005

• The previous "What's New" page has been moved to What's New for 2003-4.

What's New for 2003-4

What's New for 2002

What's New for 2001

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]