|INFORMATION FLOW The Logic of Distributed Systems|
|Author||en:Jon Barwise, Jerry Seligman|
|Publisher||en:Cambridge University Press|
|Media type||274 (Hardback)|
|Pages||384 pp (Hardback)|
|ISBN||ISBN 0-521-58386-1 (USA hardback)|
Presents a theory of information flow based on channels and discourse. Has a Category theoretic approach. Barwise was co-author of Situations and Attitudes and this can be considered a follow-on to that work which was the origin of the situation calculus. The original jacket of the book had the lower left corner of the Albrech Durer work below.
MIT 1985 ISBN 10: 0262520990 ISBN 13: 9780262520997