Login / Signup
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.
Felix Stutz
Damien Zufferey
Published in:
GandALF (2022)
Keyphrases
</>
multi party
state machines
communication channels
high level
state machine
privacy preserving
low level
petri net
noisy channel
genetic algorithm
turn taking
fuzzy logic
sequence diagrams