Name Size Creator Creation Date Labels Comment  
PNG File 01_eventlist_initial.png 6 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 02_emit_backend.png 20 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 03_handle-event_frontend.png 19 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 04_emit_2nd_backend.png 17 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 05_handle-event_2nd_frontend.png 29 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 06_ack_frontend.png 16 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 07_undo.png 21 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 08_redo.png 15 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 09_handle-event_3rd_frontend.png 19 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 11_error-no-failure-state-set.png 10 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 16_error-in-execution-rcv-datagram.png 19 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 17_error-in-undo-execution.png 15 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 12_error-resend-unacked-datagrams.png 22 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 13_error-missing-rcv-datagram.png 17 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 14_error-duplicated-rcv-datagram.png 17 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
PNG File 15_error-hole-in-sequence-rcv-datagram.png 25 kB Unknown User1 Aug 21, 2020 17:06
  • No labels
   
Download All