Login / Signup

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.

Nobuko YoshidaFangyi ZhouFrancisco Ferreira
Published in: FCT (2021)
Keyphrases
  • finite state machines
  • multi party
  • model checking
  • finite state automata
  • privacy preserving
  • artificial intelligence
  • object oriented
  • secret sharing
  • database systems
  • description language