DOI10.1007/s001650200026zbMath1029.68019MaRDI QIDQ1402461
Michael Shields, David H. Pitt
Publication date: 27 August 2003 Published in: Formal Aspects of Computing (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s001650200026
zbMATH Keywords
Abstraction; Protocol verification; Local invariance
Mathematics Subject Classification ID
68M10: Network design and communication in computer systems
68M12: Network protocols