A distributed Kripke semantics /
Chadha, Rohit.
Macedonio, Damiano.
Sassone, Vladimiro.
University of Sussex.Computer Science.
Brighton : Department of Informatics, University of Sussex,
2004.
Caption title.
"Computer Science technical report 04/2004".
Includes bibliographical references.
Computer logic.
Programming (Mathematics)
Information theory in mathematics.