Lecture 21CSP - Non-determinism

Table of Contents

Lecture 21CSP - Non-determinism

CSP Concurrency: Four Lectures

Today's Topics

Lecture 1

Lecture 2

Concurrency review

Nondeterminism - Sequential Systems

Nondeterminism - Concurrent Systems

Nondeterminism - Continued

Internal Choice

PPT Slide

Laws of Nondeterminism

Semantics of Nondeterminism

Semantics (cont)

Fixing the Semantics

Failures

Refinement

Refinement continued

Refinement continued

More Refinement Examples

Interleaving

Hiding

Last Slide

Algebraic Laws

Proving Theorems

Last Slide

Generalized Choice

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html