PAによる相模倣の証明?
なんか重要そうな論文をみつけた。Fokkinkの論文だからいい論文だろう。
読まねば。。
# W.J. Fokkink, J. Pang and J.C. van de Pol, Cones and foci: A mechanical framework for protocol verification, Formal Methods in System Design 29(1):1-31 (July 2006)
なんか重要そうな論文をみつけた。Fokkinkの論文だからいい論文だろう。
読まねば。。
# W.J. Fokkink, J. Pang and J.C. van de Pol, Cones and foci: A mechanical framework for protocol verification, Formal Methods in System Design 29(1):1-31 (July 2006)