CS 352: Control Structures
General
CS 352
is a course which covers models of concurrency, including:
- Chu Spaces
- Partial Orders
- Geometry
- CCS / CSP / ACP
- Seamantic Equivalence
- Structured Operational Semantics
- Petri Nets, Event Structures, Configuration Structures, and Process Graphs
This material will be ordered roughly in order of difficulty (I think).
The following
is a more complete (and liquid syllabus) for the course.
Instructor(s)
![[Stanford]](http://www-cs.stanford.edu/gifs/stanford.seal56.gif)
![[CS Dept.]](http://www-cs.stanford.edu/gifs/logo.csd.gif)
![[Mark Pichora]](http://www-cs.stanford.edu/gifs/arrow.marble56.up2.gif)
Questions? Send them to:
mpichora@cs.stanford.edu