API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
June 2022
PDF Code Project Project Project DOI Pompset tool Artifact ECOOP 2022
Type
Conference paper
Publication
36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany
Reassure VALU3S DaVinci MPST Choreographies

Related