Barwise, Jon <br/><br/>
Information flow :  the logic of distributed systems / 
Jon Barwise, Jerry Seligman 
 - New York :  Cambridge University Press,  1997 
 - xv, 274 p. :  ill. ;  24 cm 
 - Cambridge tracts in theoretical computer science .
<br/><br/>Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>9780521070997 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Distributed processing