Information flow : the logic of distributed systems /
Jon Barwise, Jerry Seligman.
- Cambridge New York ; New York : Cambridge University Press, c1997.
- xv, 274 pages. : ill. ; 24 cm.
- Cambridge tracts in theoretical computer science ; 44 .
- Cambridge tracts in theoretical computer science ; 44. .
Includes bibliographical references and index.
Includes bibliographical references (p. 268-269) and indexes.
0521583861 (hardback)
96046111
Electronic data processing--Distributed processing.