Quick Index

• _____ .
• CSP: Four Lectures .
• CSP: Overview .
• The Challenge of Concurrency .
• _____ .
• A look back .
• Transitions as State Relations .
• Events .
• STOP: The Stuck Process .
• Prefix .
• Prefix Example .
• Example (Better) .
• More Simple Examples .
• Choice .
• Choice .
• Combining operations .
• 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 .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.