Documents and Models Documents Modélisation et vérification des systèmes Event-B Models The Sliding Window Protocol in Event-B is described in the HAL document and the Event-B archive is at the following link.
