Module mpstthree::meshedchannels

source ·
Expand description

The main structure used for representing a participant, also named a party, within a protocol.

It contains 4 fields:

  • session1: contains the first binary session type, which links the participant to the first participant in the alphanumerical order. It contains Session.
  • session2: contains the second binary session type, which links the participant to the second participant in the alphanumerical order. It contains Session.
  • stack: contains the ordering of the interactions between the participant and the others. It contains a Role.
  • name: contains the name of the participant. It should look like NameA or NameB. It contains a Name.

Modules§

  • impl_a
    The different associated functions for role A with only A, B and C in the protocol.
  • impl_b
    The different associated functions for role B with only A, B and C in the protocol.
  • impl_c
    The different associated functions for role C with only A, B and C in the protocol.

Structs§

  • MeshedChannels
    The structure which encapsulates two binary session types, a stack and a name.