Login / Signup

Complete Multiparty Session Type Projection with Automata.

Elaine LiFelix StutzThomas WiesDamien Zufferey
Published in: CAV (3) (2023)
Keyphrases
  • multi party
  • privacy preserving
  • cellular automata
  • description language
  • human communication
  • case study
  • audio video
  • human computer interaction
  • secret sharing
  • turn taking