Computing Models

• Nova: A rule-based multi-stack computing model.
• Modal: A queue-based term rewriting system based around nested strings.