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