asynchronous broadcast networks / resource management / computing / broadcast networks / parametric concurrent systems / ad hoc networks / model checking algorithms / /
NaturalFeature
FIFO channel / /
Person
M. Sohoni / Dietrich Kuske / K. Narayan Kumar / J. G. Henriksen / W. Thatcher / Logic Colloquium / M. Mukund / Benedikt Bollig / Nicolas Baudru / P. S. Thiagarajan / /
Position
author / Prime Minister / Acknowledgments The author / /
ProvinceOrState
California / /
Technology
token ring / P2P protocol / model checking algorithms / /