A Calculus of Value Broadcasts

Authors:
K. V. S. Prasad
Affiliations:
-
Venue:
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Year:
1993

Citing 0
Cited 5

An Observational Theory for Mobile Ad Hoc Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Theory for Mobile Ad Hoc Networks (full version)

Information and Computation
Formal Security Analysis for Ad-Hoc Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Contexts, refinement and determinism

Science of Computer Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract