Information flow : the logic of distributed systems
- Cambridge: Cambridge University Press, 1997
- xv, 274 p.; ill., index: 23 cm.
- Cambridge tracts in theoretical computer science .
9780521583862 (hbk)
Theoretical computer science Electronic data processing Classification Information Flow Channel theory Boolean Operation Infomorphism