Nondeterministic Sequential Programs, Shared Variable Programs, Communicating Programs

Operational Semantics, Relational Semantics, Fixpoint Theory

Hoare Assertions and Dijkstra Weakest Preconditions

Petri Nets, Control Flow Programs

Fairness, Atomic Actions