Information flow : the logic of distributed systems /

Bibliographic Details
Main Author: Barwise, Jon
Other Authors: Seligman, Jerry
Format: Book
Published: Cambridge : Cambridge University Press, 1997.
Series:Cambridge Tracts in Theoretical Computer Science ; 44
Subjects:
Search Result 1

Information flow : the logic of distributed systems / by Barwise, Jon, 1942-2000

Published 1997
Book