Other Models of Computation

Table of Contents

• Comparative Study
  • Final Version
  • Early Version

• Action Semantics
• Mapping Automata
• Predicate Transition Nets
• Schönhage Machines
• Statecharts
• UML
• WHNF and the Lambda-Calculus

See also High-Level System Design and Analysis, which considers many common models of computation and compares them to ASMs. [an error occurred while processing this directive]