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

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