Login / Signup

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.

Felix StutzDamien Zufferey
Published in: CoRR (2022)
Keyphrases
  • multi party
  • state machines
  • communication channels
  • high level
  • state machine
  • low level
  • privacy preserving
  • noisy channel
  • turn taking
  • petri net
  • hidden markov models
  • mental states
  • intermediate level
  • recurrent networks