Overview
This page provides context for the ICE 2011 presentation by Tom Hirschowitz. It connects workshop themes to a small set of background notes used elsewhere on the site.
Reading route: start with operational rules, then connect them to verification questions.
Related notes
- Graph rewriting and SOSRule-based state change and executable semantics.
- Model checking primerTurning semantic descriptions into checks.
- Session types and protocolsOne way to constrain interaction behaviour.