Extensions

---

Table of Contents

• Recursive ASMs
  • Definitions (1997)
  • Discussion: Mergesort and Machines (2003)
  • TurboASMs and Recursion (2003)
• Turbo ASMs
  • Composition, Recursion, and Submachines (2000)
  • Application: Jbook (2001)
  • Analysis: Hidden Steps (2003)
  • Remarks on Recursion (2003)
• AsmL: Extensions to Sequential ASMs (2001)
  • Full Paper
  • Extended Abstract
• Table ASMs (2001)
• Dynamic Systems (2000)
  • Extension: Large Typed ASMs
• Hybrid ASMs (2000)
• Objects (2000)
  • Janneck and Kutter (1998)
  • Zamulin (2000)
    • Full Paper
    • Extension: Genericity
• Message-Passing Interacting ASMs (1998)
  • Full Paper
  • Extended Abstract
• Set Macros (1998)
• Synchronized Interacting ASMs (1998)
• Types (1997)
• FLEA (1995)