o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o INF. Information Flow ... The above material is excerpted from: | Jon Barwise & Jerry Seligman, |'Information Flow, The Logic of Distributed Systems', | Cambridge University Press, Cambridge, UK, 1997. o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o