The Readings [,Writings [,Watchings and Listenings]] of a Computer Science Student.
Friday, May 13, 2005
The Logic of Communicating Processes
I saw a talk by Professor Robin Cockett last night on the topic of The logic of communicating processes. I've just finished making a post to Lambda the Ultimate about the talk and related papers, so hopefully we'll see some interesting discussion.
No comments:
Post a Comment