In this folder you will find a collection of documents representing English & TLA+ specifications for the IBC connection handshake problem [ICS-003].
We currently cover two levels of abstraction of ICS2, in accordance with the VDD workflow: level 1 (abstract), level 2 (system model & distributed protocol). Consequently, we break this work across the following documents: