A proof of protocol correctness

J. Pachl
1994 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita/1994283-402131 fatcat:mgknyqzf7zduzmr3kjr6vfbow4