II/2/1/14 Operational Semantics

Lecturer: Jifeng He

Course Description: The course start from 4th August, 2005 which covers the following topics:

(1) Transition Systems

1. Finite Automata

2. Petri Nets

3. Machine Instructions

(2) Operational Semantics

1. A Simple Imperative Language

2. Communicating Sequential Processes

(3) Structural Induction (SI)

(4) Type-Checking

(5) Error Handling

(6) Observation-oriented Semantics

1. Design

2. Traces, Divergences and Failures

(7) Refinement and Monotionicity of Programming Operators

(8) Simulation

Click here to download the course materials