Login / Signup
Brief Announcement: Deterministic Protocol for the Membership Problem in Beeping Channels.
Bojun Huang
Published in:
DISC (2012)
Keyphrases
</>
lightweight
multi channel
formal analysis
communication channels
coloured petri nets
digital libraries
network simulator