José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Guillermina Cledou
,
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
June 2022
PDF
Cite
Project
Project
Project
DOI
Pompset tool
Type
Journal article
Publication
Dagstuhl Artifacts Ser.
Reassure
VALU3S
DaVinci
MPST
Choreographies
Related
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Branching pomsets for choreographies
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Cite
×