000 00395nam a2200121Ia 4500
008 160523s9999 xx 000 0 und d
020 _a978-0-521-58386-2
100 _aBarwise, J.
245 _aInformation Flow: The logic of distributed systems
260 _aCambridge
_bCambridge University Press
_c1997
300 _axv, 274p.
490 _acambridge Tracts in Theoretical Computer Science no. 44
999 _c30827
_d30827