An algorithmic technique for protocol verification
From MaRDI portal
Publication:3805886
DOI10.1109/26.3772zbMath0657.68021MaRDI QIDQ3805886
Publication date: 1988
Published in: IEEE Transactions on Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/26.3772
68N25: Theory of operating systems
Related Items
Probabilistic verification of communication protocols, Parametric Language Analysis of the Class of Stop-and-Wait Protocols