Verification of the busy-forbidden protocol (using an extension of the cones and foci framework).

P. H. M. van Spaendonck

Published in: CoRR (2022)

Keyphrases

lightweight
theoretical framework
main contribution
formal analysis
information retrieval
artificial intelligence
information systems
metadata
website
wireless networks
bayesian framework