A proof of protocol correctness

DOI10.1051/ITA/1994283-402131zbMath0883.68009OpenAlexW97386121MaRDI QIDQ4365008

Jan K. Pachl

Publication date: 30 October 1997

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92476

zbMATH Keywords

medium access protocoltransient transmission errors

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cites Work

• Analysis of toggle protocols

This page was built for publication: A proof of protocol correctness