┌─┐                                                                 
        ║"│                                                                 
        └┬┘                                                                 
        ┌┼┐                                                                 
         │               ┌──────┐          ┌──────────┐                     
        ┌┴┐              │Server│          │User state│                     
      Client             └──┬───┘          └──────────┘                     
        │                   │                   │                           
        │                   │     ╔══════╗      │                           
════════╪═══════════════════╪═════╣ Init ╠══════╪═══════════════════════════
        │                   │     ╚══════╝      │                           
        │                   │                   │                           
        │                   │                   │  ╔══════════════════════╗ 
        │                   │                   │  ║{{                   ░║ 
        │                   │                   │  ║  title User state    ║ 
        │                   │                   │  ║D : disconnected      ║ 
        │                   │                   │  ║C : connected         ║ 
        │                   │                   │  ║D -> C : connects     ║ 
        │                   │                   │  ║C -> D : disconnects  ║ 
        │                   │                   │  ║state D #palegreen    ║ 
        │                   │                   │  ║}}                    ║ 
        │                   │                   │  ╚══════════════════════╝ 
        │                   │                   │                           
        │                   │   ╔══════════╗    │                           
════════╪═══════════════════╪═══╣ Exchange ╠════╪═══════════════════════════
        │                   │   ╚══════════╝    │                           
        │                   │                   │                           
        │ Attempt to connect│                   │                           
        │ ──────────────────>                   │                           
        │                   │                   │                           
        │                   │                   │  ╔══════════════════════╗ 
        │                   │                   │  ║{{                   ░║ 
        │                   │                   │  ║  title User state    ║ 
        │                   │                   │  ║D : disconnected      ║ 
        │                   │                   │  ║C : connected         ║ 
        │                   │                   │  ║D -> C : connects     ║ 
        │                   │                   │  ║C -> D : disconnects  ║ 
        │                   │                   │  ║state D #palegreen    ║ 
        │                   │                   │  ║}}                    ║ 
        │                   │                   │  ╚══════════════════════╝ 
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │      Connects     │                   │                           
        │ ──────────────────>                   │                           
        │                   │                   │                           
        │                   │                   │  ╔══════════════════════╗ 
        │                   │                   │  ║{{                   ░║ 
        │                   │                   │  ║  title User state    ║ 
        │                   │                   │  ║D : disconnected      ║ 
        │                   │                   │  ║C : connected         ║ 
        │                   │                   │  ║D -> C : connects     ║ 
        │                   │                   │  ║C -> D : disconnects  ║ 
        │                   │                   │  ║state C #palegreen    ║ 
        │                   │                   │  ║}}                    ║ 
        │                   │                   │  ╚══════════════════════╝ 
        │        Ack        │                   │                           
        │ <──────────────────                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
        │                   │                   │                           
      Client             ┌──┴───┐          ┌──────────┐                     
        ┌─┐              │Server│          │User state│                     
        ║"│              └──────┘          └──────────┘                     
        └┬┘                                                                 
        ┌┼┐                                                                 
         │                                                                  
        ┌┴┐