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]