Channels, processes, sharing, and noninterference
Channel notation, definition, examples
Slides
Definitions, examples, running machines, universal machine, Moore = Mealy, intuitions
The problem of sharing, goals
Idea, local input views, local channel views, in channels, for processes
What did we learn?