Sign in

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).

Guillermina CledouLuc EdixhovenSung-Shik JongmansJosé Proença
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
  • multi party
  • privacy preserving
  • description language
  • health care
  • secret sharing