Stuff on theory of concurrency: http://boole.stanford.edu/ http://chu.stanford.edu/ http://chu.stanford.edu/live (bread for mathematicians) Pietro