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

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

Related