Focus points and convergent process operators: A proof strategy for protocol veri cation (1995)

by Jan Friso Groote
Citations:39 - 11 self