Sciweavers

PODC
1989
ACM
13 years 8 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra
PODC
1989
ACM
13 years 8 months ago
A Structural Induction Theorem for Processes
Robert P. Kurshan, Kenneth L. McMillan
PODC
1989
ACM
13 years 8 months ago
Knowledge, Probability, and Adversaries
: What should it mean for an agent to know or believe an assertion is true with probability :99? Di erent papers FH88, FZ88, HMT88] give di erent answers, choosing to use quite di ...
Joseph Y. Halpern, Mark R. Tuttle
PODC
1989
ACM
13 years 8 months ago
Multiple Communication in Multi-Hop Radio Networks
Two tasks of communication in a multi-hop synchronous radio network are considered: point-to-point communication and broadcast (sending a message to all nodes of a network). Effi...
Reuven Bar-Yehuda, Amos Israeli