Winter School: Abstract Software Specifications 1979: Copenhagen, Denmark

Prelude

Constructive Definitions

Algebraic Semantics

Program Specifications

An Interlude

Parallelism & Non-determinism

Postlude