José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
José Proença
,
Andrei Paskevich
January 2021
PDF
Cite
DOI
Related
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Branching pomsets for choreographies
Cite
×