Information flow the logic of distributed systems

Bibliographic Details
Main Author: Barwise, Jon
Other Authors: Seligman, Jerry
Format: Book
Language:English
Published: Cambridge Cambridge University Press 1997
Series:Cambridge tracts in theoretical computer science 44
Subjects:
Description
Physical Description:xv, 274 p. fig. 24 cm.
Bibliography:Includes bibliography and indeces
ISBN:0521583861