Information flow : the logic of distributed systems
Author(s)
Bibliographic Information
Information flow : the logic of distributed systems
（Cambridge tracts in theoretical computer science, 44）
Cambridge University Press, 1997
- : hardback
- : pbk
Available at 55 libraries
Note
Includes bibliography (p. 268-269), glossary of notation (p. 270-271), index of definitions (p. 272-273) and index of names (p. 274)
Includes exercises and answers to them