Publicações selecionadas | - Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: 'API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)'. Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022)
- Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: 'API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3'. ECOOP 2022: 27:1-27:28
- José Proença, Markus Lumpe: 'Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)'. Sci. Comput. Program. 218: 102803 (2022)
- José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi: 'Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems'. RSSRail 2022: 83-94
- Sung-Shik Jongmans, José Proença: 'ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming'. ISoLA (1) 2022: 460-478
|