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

Abstract State Machines: WWW/FTP Site List

---

(see also Tools)

---

Primary Abstract State Machines WWW Sites

• Abstract State Machines (this site), maintained by Jim Huggins.
• Abstract State Machines Research Center, maintained by Egon Börger.

Abstract State Machines FTP Sites

• University of Michigan, USA, maintained by Jim Huggins.
• University of Pisa, Italy, maintained by Egon Börger.

Other WWW Sites With ASM Content

• Journal of Universal Computer Science (http://www.jucs.org)
  • Volume 3, Number 4 (special issue on ASMs)
    http://www.jucs.org/jucs_3_4
  • Volume 3, Number 5 (special issue on ASMs)
    http://www.jucs.org/jucs_3_5
  • Volume 3, Number 12
    http://www.jucs.org/jucs_3_12
  • Volume 7, Number 11
    http://www.jucs.org/jucs_7_11

• Foundations of Software Engineering at Microsoft Research
  (http://research.microsoft.com/fse/)

• Steam-Boiler Control Specification Problem
  (http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html)

• FZI Production Cell Control Problem
  http://www.fzi.de/divisions/prost/projects/production_cell/ProductionCell.html

• The Collection of Computer Science Bibliographies
  http://liinwww.ira.uka.de/bibliography/index.html

• The VERIFIX Project
  http://i44www.info.uni-karlsruhe.de/~verifix

• ASMs and PVS
  http://pvs.csl.sri.com/fm99ug/asms.html

• Official Semantics for SDL-2000 Based on ASMs
  http://rn.informatik.uni-kl.de/projects/sdl/index.html

• Modeled Computation LLC
  http://www.modeled-computation.com

• Java and the Java Virtual Machine (book)
  http://www.inf.ethz.ch/~jbook/

Sites Linking To This Site

• Emerald Abstracts Computing Coolsites
  http://www.emeraldinsight.com/abstracts/computing/trends/coolsites.htm

• EEVL: The Internet Guide to Engineering, Mathematics, and Computing
  http://www.eevl.ac.uk

• Formal Methods Meetings
  (http://www.afm.sbu.ac.uk/meetings/)

• World Wide Web Virtual Library: Formal Methods
  (http://www.comlab.ox.ac.uk/archive/formal-methods.html)

[an error occurred while processing this directive]

---

Jim Huggins / huggins@acm.org

Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/wwwftp.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT