Cones and foci for protocol verification revisited, in (0)

by W Fokkink, J Pang
Venue:Proc. 6th Conference on Foundations of Software Science and 41 Structures (FoSSaCS’06