Table of ContentsPPT Slide CSP: Four Lectures CSP Transitions as State Relations Events STOP: The Stuck Process Prefix Prefix Example Recursion When is Recursion Uniquely Defined? More Examples Choice Choice Combining operations Combining operations (2) More Interesting Example Diagram of VEND Note on Representing State Another example Generalized Choice Examples Interacting Processes The Parallel operator (||) Problem Partial Synchronization Alphabets and || Dining Philosophers Dining Philosophers Dining Philosophers (cont.) Summary Last Slide Semantics Operations on Traces Specifications Alternate Description of Recursion More Alphabets A look back |
Author: David Garlan
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |