┌─┐                                                                  
        ║"│                                                                  
        └┬┘                                                                  
        ┌┼┐                                                                  
         │               ┌──────┐           ┌──────────┐                     
        ┌┴┐              │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│                     
        ║"│              └──────┘           └──────────┘                     
        └┬┘                                                                  
        ┌┼┐                                                                  
         │                                                                   
        ┌┴┐