Focus points and convergent process operators. A proof strategy for protocol veri (2001)

by Groote JF, J Springintveld
Venue:Journal of Logic and Algebraic Programming