Focus points and convergent process operators (A proof strategy for protocol verification)

DSpace/Manakin Repository