**Introduction****(Slides)**Non-determinism and concurrency, powerdomains, the guarded command language, concurrency and resumption semantics.

**The UNITY Model****(Slides)**A search for a foundation of parallel programming, introduction to the theory, an example: scheduling a meeting, a programming notation.

**The UNITY Programming Logic****(Slides)**Introduction, basic concepts, a model of program execution, a complete example, theorems about the fundamental concepts, proving bounds on progress.

**Programming in UNITY****(Slides)**Maximum of a set of numbers, Gaussian elimination, program structuring, program composition by union, superposition.

**The Temporal Logic of Actions (TLA) I****(Slides)**Logic versus programming, the logic of actions, simple temporal logic, the raw logic, TLA.

**The Temporal Logic of Actions (TLA) II****(Slides)**Invariance and eventuality properties, another example, hiding variables, further comments.

**Conjunction of Concurrent System Specifications I****(Slides)**An informal overview, preliminaries.

**Conjunction of Concurrent System Specifications II****(Slides)**Decomposing a complete specification, composing assumption/guarantuee specifications.

**A Calculus of Communicating Systems (CCS) I****(Slides)**Motivation and examples, action and transition, composite actions, transition graphs, the basic language, transition rules, derivatives and derivation trees, the value passing calculus.

**A Calculus of Communicating Systems (CCS) II****(Slides)**Strong bisimulation and strong equivalence, experimenting upon agents, (weak) bisimulation and observation equivalence, observation congruence.

**The***pi*-CalculusIntroduction, the monadic

*pi*-calculus, applications.**The Polyadic***pi*-CalculusAbstractions, concretions, syntax, structural congurence and reduction, sorts, data structures and functions.

Wolfgang.Schreiner@risc.uni-linz.ac.at

Id: parsem.tex,v 1.10 1996/06/05 15:13:54 schreine Exp