Skip to main content

Table 1 DeX primitives per interaction type

From: Timed protocol analysis of interconnected mobile IoT devices

Interaction DeX primitives
one way Sender Receiver
  post(lifetime) get(*get_return, TON,TOFF) get_return
two way sync Client Server
  post_req(*get_res, timeout)get_res get(*get_req, TON,TOFF)get_req(thr_id)post_res(thr_id)
two way async post_req(lifetime)get(*get_res, TON,TOFF)get_res get(*get_req, TON,TOFF)get_reqpost_res(lifetime)
streaming Consumer Producer
  post_open(lifetime, flow_qualifier)get(*get_item, flow_qualifier, TON,TOFF) {...get_item... } get(*get_open, TON,TOFF)get_open(flow_qualifier) {...post_item(lifetime, flow_qualifier)... }