Module mpstthree::meshedchannels [−][src]
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
mpstthree::binary::struct_trait::Session
. - session2: contains the second binary session type, which links the participant to the
second participant in the alphanumerical order. It contains
mpstthree::binary::struct_trait::Session
. - stack: contains the ordering of the interactions between the participant and the others.
It contains
mpstthree::role::Role
. - name: contains the name of the participant. It should look like
RoleA<RoleEnd>
orRoleB<RoleEnd>
.
Modules
Structs
The structure which encapsulates two binary session types, a stack and a name.