An application of co-inductive types in Coq: Veri of the alternating bit protocol (1996)

by E Gimenez
Venue:In Proc. TYPES'95, volume 1158 of LNCS