Go up to Top
Go forward to References
Slides and Online Material
Non-determinism and concurrency, powerdomains, the guarded command language,
concurrency and resumption semantics.
- The UNITY Model
A search for a foundation of parallel programming, introduction to the theory,
an example: scheduling a meeting, a programming notation.
- The UNITY Programming Logic
Introduction, basic concepts, a model of program execution, a complete
example, theorems about the fundamental concepts, proving bounds on progress.
- Programming in
Maximum of a set of numbers, Gaussian elimination, program structuring,
program composition by union, superposition.
- The Temporal Logic of Actions (TLA) I
Logic versus programming, the logic of actions, simple temporal logic, the raw
- The Temporal Logic of Actions (TLA) II
Invariance and eventuality properties, another example, hiding variables,
- Conjunction of Concurrent System Specifications I
An informal overview, preliminaries.
- Conjunction of Concurrent System Specifications II
Decomposing a complete specification,
composing assumption/guarantuee specifications.
- A Calculus of Communicating Systems (CCS) I
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
Strong bisimulation and strong equivalence, experimenting upon agents,
(weak) bisimulation and observation equivalence, observation congruence.
- The pi-Calculus
Introduction, the monadic pi-calculus, applications.
- The Polyadic pi-Calculus
Abstractions, concretions, syntax, structural congurence and reduction, sorts,
data structures and functions.
Id: parsem.tex,v 1.10 1996/06/05 15:13:54 schreine Exp