(No Title)
収録刊行物
-
- Information Flow : the Logic of Distributed Systems
-
Information Flow : the Logic of Distributed Systems 1997
Cambridge University Press
Information Flow : the Logic of Distributed Systems 1997
Cambridge University Press